0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.50
0.50 instance
0.50 name=/tmp/evaluation/203538-1168161268/unknown.xml
0.53
0.53 domains being loaded...
0.54
0.54 variables being loaded...
0.58 nbVariables=59 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.58 => wckTime=0.172 cpuTime=0.1 mem=6M951
0.58
0.58 relations being loaded...
0.78
0.78 constraints being loaded...
0.96 nbConstraints=559 nbRelationTypes=559 nbExtensionStructures=559 nbSharedExtensionStructures=0
0.96 nbConflictsStructures=559 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=886 maxDegree=27
0.96 maxArity=2
0.96 => wckTime=0.549 cpuTime=0.39 mem=22M555
1.01
1.01 solver IterativeSystematicSolver being built...
1.18 => wckTime=0.777 cpuTime=0.52 mem=16M57
1.26
1.26 preprocessing
1.26 nbConstraintChecks=175952 nbPropagations=1549 nbRevisions=14117 nbUselessRevisions=12109 nbSingletonTests=76
1.26 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.26 => wckTime=0.073 cpuTime=0.05 mem=16M57
1.29
1.29 search
1.29 run=0 nbConstraintChecks=61551 nbPropagations=2173 nbRevisions=22436 nbUselessRevisions=19205 nbAssignments=28
1.29 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.29 nbTooLargeKeys=0
1.29 => wckTime=0.1 cpuTime=0.07 mem=16M57
1.31
1.31 search
1.31 run=1 nbConstraintChecks=132562 nbPropagations=5067 nbRevisions=54800 nbUselessRevisions=46707
1.31 nbAssignments=61 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=87 nbRestartNogoods=2 mapSize=20
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.122 cpuTime=0.09 mem=16M57
1.33
1.33 search
1.33 run=2 nbConstraintChecks=225231 nbPropagations=8994 nbRevisions=102048 nbUselessRevisions=86764
1.33 nbAssignments=112 nbFailedAssignments=29 nbBacktracks=49 nbVisitedNodes=164 nbRestartNogoods=3 mapSize=39
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.141 cpuTime=0.1 mem=16M57
1.36
1.36 search
1.36 run=3 nbConstraintChecks=377911 nbPropagations=14442 nbRevisions=171689 nbUselessRevisions=145237
1.36 nbAssignments=182 nbFailedAssignments=51 nbBacktracks=84 nbVisitedNodes=276 nbRestartNogoods=6 mapSize=65
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.17 cpuTime=0.13 mem=16M57
1.40
1.40 search
1.40 run=4 nbConstraintChecks=601355 nbPropagations=22211 nbRevisions=276638 nbUselessRevisions=232824
1.40 nbAssignments=277 nbFailedAssignments=81 nbBacktracks=137 nbVisitedNodes=431 nbRestartNogoods=9 mapSize=107
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.208 cpuTime=0.17 mem=16M57
1.44
1.44 search
1.44 run=5 nbConstraintChecks=825226 nbPropagations=32529 nbRevisions=421833 nbUselessRevisions=353944
1.44 nbAssignments=413 nbFailedAssignments=128 nbBacktracks=214 nbVisitedNodes=647 nbRestartNogoods=12 mapSize=166
1.44 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.255 cpuTime=0.21 mem=16M57
1.51
1.51 search
1.51 run=6 nbConstraintChecks=1233035 nbPropagations=47214 nbRevisions=635833 nbUselessRevisions=532017
1.51 nbAssignments=624 nbFailedAssignments=210 nbBacktracks=327 nbVisitedNodes=1000 nbRestartNogoods=15 mapSize=261
1.51 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.323 cpuTime=0.27 mem=16M57
1.61
1.61 search
1.61 run=7 nbConstraintChecks=1794701 nbPropagations=67921 nbRevisions=945628 nbUselessRevisions=789617
1.61 nbAssignments=920 nbFailedAssignments=320 nbBacktracks=500 nbVisitedNodes=1495 nbRestartNogoods=19 mapSize=402
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.419 cpuTime=0.37 mem=16M57
1.77
1.77 search
1.77 run=8 nbConstraintChecks=2794603 nbPropagations=98532 nbRevisions=1416903 nbUselessRevisions=1179693
1.77 nbAssignments=1350 nbFailedAssignments=484 nbBacktracks=758 nbVisitedNodes=2234 nbRestartNogoods=25
1.77 mapSize=617 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.584 cpuTime=0.52 mem=16M57
1.98
1.98 search
1.98 run=9 nbConstraintChecks=3951042 nbPropagations=142050 nbRevisions=2104076 nbUselessRevisions=1749890
1.98 nbAssignments=1971 nbFailedAssignments=709 nbBacktracks=1144 nbVisitedNodes=3273 nbRestartNogoods=28
1.98 mapSize=935 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.793 cpuTime=0.72 mem=17M33
2.04
2.04 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=17M33)
2.29
2.29 search
2.29 run=10 nbConstraintChecks=5915607 nbPropagations=206084 nbRevisions=3130844 nbUselessRevisions=2600469
2.29 nbAssignments=2941 nbFailedAssignments=1089 nbBacktracks=1721 nbVisitedNodes=4932 nbRestartNogoods=30
2.29 => wckTime=1.103 cpuTime=1.01 mem=17M33
2.73
2.73 search
2.73 run=11 nbConstraintChecks=8906192 nbPropagations=301721 nbRevisions=4666576 nbUselessRevisions=3869481
2.73 nbAssignments=4379 nbFailedAssignments=1651 nbBacktracks=2589 nbVisitedNodes=7387 nbRestartNogoods=38
2.73 => wckTime=1.544 cpuTime=1.45 mem=17M33
3.35
3.35 search
3.35 run=12 nbConstraintChecks=13080544 nbPropagations=442598 nbRevisions=6957196 nbUselessRevisions=5766037
3.35 nbAssignments=6477 nbFailedAssignments=2441 nbBacktracks=3888 nbVisitedNodes=10981 nbRestartNogoods=41
3.35 => wckTime=2.162 cpuTime=2.07 mem=17M33
4.28
4.28 search
4.28 run=13 nbConstraintChecks=19431503 nbPropagations=650299 nbRevisions=10332116 nbUselessRevisions=8555741
4.28 nbAssignments=9607 nbFailedAssignments=3612 nbBacktracks=5836 nbVisitedNodes=16300 nbRestartNogoods=46
4.28 => wckTime=3.095 cpuTime=3.0 mem=17M33
5.67
5.67 search
5.67 run=14 nbConstraintChecks=28636121 nbPropagations=958386 nbRevisions=15368531 nbUselessRevisions=12721509
5.67 nbAssignments=14387 nbFailedAssignments=5458 nbBacktracks=8755 nbVisitedNodes=24475 nbRestartNogoods=52
5.67 => wckTime=4.485 cpuTime=4.38 mem=17M33
7.90
7.90 search
7.90 run=15 nbConstraintChecks=43660134 nbPropagations=1425466 nbRevisions=23024121 nbUselessRevisions=19046401
7.90 nbAssignments=21891 nbFailedAssignments=8571 nbBacktracks=13134 nbVisitedNodes=37443 nbRestartNogoods=64
7.90 => wckTime=6.709 cpuTime=6.6 mem=17M33
10.89
10.89 search
10.89 run=16 nbConstraintChecks=63486655 nbPropagations=2109276 nbRevisions=34238528 nbUselessRevisions=28314920
10.89 nbAssignments=32461 nbFailedAssignments=12538 nbBacktracks=19704 nbVisitedNodes=55316 nbRestartNogoods=74
10.89 => wckTime=9.705 cpuTime=9.58 mem=17M33
15.17
15.17 search
15.17 run=17 nbConstraintChecks=90207615 nbPropagations=3114662 nbRevisions=50667922 nbUselessRevisions=41915723
15.17 nbAssignments=48319 nbFailedAssignments=18528 nbBacktracks=29557 nbVisitedNodes=82332 nbRestartNogoods=82
15.17 => wckTime=13.985 cpuTime=13.83 mem=17M33
22.16
22.16 search
22.16 run=18 nbConstraintChecks=137647458 nbPropagations=4628873 nbRevisions=75330765 nbUselessRevisions=62297414
22.16 nbAssignments=72326 nbFailedAssignments=27712 nbBacktracks=44337 nbVisitedNodes=123142 nbRestartNogoods=93
22.16 => wckTime=20.969 cpuTime=20.79 mem=17M33
32.60
32.60 search
32.60 run=19 nbConstraintChecks=206951953 nbPropagations=6897396 nbRevisions=112545779 nbUselessRevisions=93107961
32.60 nbAssignments=107895 nbFailedAssignments=41098 nbBacktracks=66509 nbVisitedNodes=183850 nbRestartNogoods=101
32.60 => wckTime=31.407 cpuTime=31.18 mem=17M33
47.26
47.26 search
47.26 run=20 nbConstraintChecks=313360537 nbPropagations=10321203 nbRevisions=168733749 nbUselessRevisions=139610832
47.26 nbAssignments=162339 nbFailedAssignments=62276 nbBacktracks=99764 nbVisitedNodes=277098 nbRestartNogoods=108
47.26 => wckTime=46.07 cpuTime=45.8 mem=17M33
67.94
67.94 search
67.94 run=21 nbConstraintChecks=458412473 nbPropagations=15391966 nbRevisions=252260083 nbUselessRevisions=208866915
67.94 nbAssignments=242521 nbFailedAssignments=92567 nbBacktracks=149642 nbVisitedNodes=413808 nbRestartNogoods=119
67.94 => wckTime=66.755 cpuTime=66.47 mem=17M33
101.77
101.77 search
101.77 run=22 nbConstraintChecks=707013103 nbPropagations=23084746 nbRevisions=379192343 nbUselessRevisions=314047100
101.77 nbAssignments=362898 nbFailedAssignments=138115 nbBacktracks=224460 nbVisitedNodes=620054 nbRestartNogoods=136
101.77 => wckTime=100.577 cpuTime=100.25 mem=17M33
152.20
152.20 search
152.20 run=23 nbConstraintChecks=1082989773 nbPropagations=34654722 nbRevisions=569704848 nbUselessRevisions=471668327
152.20 nbAssignments=540948 nbFailedAssignments=203929 nbBacktracks=336687 nbVisitedNodes=922481 nbRestartNogoods=145
152.20 => wckTime=151.011 cpuTime=150.64 mem=17M33
228.78
228.78 search
228.78 run=24 nbConstraintChecks=1642875100 nbPropagations=52146529 nbRevisions=858955294 nbUselessRevisions=711151148
228.78 nbAssignments=816292 nbFailedAssignments=310921 nbBacktracks=505028 nbVisitedNodes=1395461 nbRestartNogoods=156
228.78 => wckTime=227.592 cpuTime=227.13 mem=17M33
343.08
343.08 search
343.08 run=25 nbConstraintChecks=2468995724 nbPropagations=78512656 nbRevisions=1295232540
343.08 nbUselessRevisions=1072335360 nbAssignments=1231435 nbFailedAssignments=473541 nbBacktracks=757539
343.08 nbVisitedNodes=2109487 nbRestartNogoods=171
343.08 => wckTime=341.889 cpuTime=341.32 mem=17M33
517.10
517.10 search
517.10 run=26 nbConstraintChecks=3720194647 nbPropagations=118488662 nbRevisions=1954794507
517.10 nbUselessRevisions=1618245332 nbAssignments=1852175 nbFailedAssignments=715502 nbBacktracks=1136308
517.10 nbVisitedNodes=3175998 nbRestartNogoods=186
517.10 => wckTime=515.912 cpuTime=515.15 mem=17M33
765.72
765.72 search
765.72 run=27 nbConstraintChecks=5483817200 nbPropagations=177964979 nbRevisions=2939366977
765.72 nbUselessRevisions=2434258973 nbAssignments=2774381 nbFailedAssignments=1069546 nbBacktracks=1704459
765.72 nbVisitedNodes=4749401 nbRestartNogoods=206
765.72 => wckTime=764.53 cpuTime=763.5 mem=17M33
1149.81
1149.81 search
1149.81 run=28 nbConstraintChecks=8281563432 nbPropagations=267049815 nbRevisions=4410446482
1149.81 nbUselessRevisions=3652285383 nbAssignments=4147278 nbFailedAssignments=1590205 nbBacktracks=2556685
1149.81 nbVisitedNodes=7095218 nbRestartNogoods=220
1149.81 => wckTime=1148.626 cpuTime=1147.22 mem=17M33
1701.90
1701.90 search
1701.90 run=29 nbConstraintChecks=12177584118 nbPropagations=399302207 nbRevisions=6604225021
1701.90 nbUselessRevisions=5471515789 nbAssignments=6218571 nbFailedAssignments=2383121 nbBacktracks=3835029
1701.90 nbVisitedNodes=10634694 nbRestartNogoods=241
1701.90 => wckTime=1700.71 cpuTime=1698.74 mem=17M33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-203538-1168161268 -o ROOT/results/node9/solver-203538-1168161268 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203538-1168161268/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.97 2.03 2.00 4/98 15726
/proc/meminfo: memFree=1009320/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=18540 CPUtime=0
/proc/15725/stat : 15725 (runsolver) R 15723 15725 15658 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164521999 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15725/statm: 4635 279 244 17 0 2626 0
[startup+0.107871 s]
/proc/loadavg: 1.97 2.03 2.00 4/98 15726
/proc/meminfo: memFree=1009320/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=914988 CPUtime=0.08
/proc/15725/stat : 15725 (java) D 15723 15725 15658 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 164521999 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15725/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515916 s]
/proc/loadavg: 1.97 2.03 2.00 4/98 15726
/proc/meminfo: memFree=1009320/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915328 CPUtime=0.34
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 5552 0 1 0 31 3 0 0 18 0 8 0 164521999 937295872 5291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154170474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15725/statm: 228832 5291 2057 14 0 215302 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 915328
[startup+1.34001 s]
/proc/loadavg: 1.97 2.03 2.00 3/105 15733
/proc/meminfo: memFree=976560/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1.15
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10957 0 1 0 108 7 0 0 23 0 8 0 164521999 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15725/statm: 228890 10695 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 17 0 8 0 164522003 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.22
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 164522007 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) R 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 915560
[startup+2.99319 s]
/proc/loadavg: 1.97 2.03 2.00 3/105 15733
/proc/meminfo: memFree=976176/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=2.79
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10977 0 1 0 272 7 0 0 25 0 8 0 164521999 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15725/statm: 228890 10714 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 17 0 8 0 164522003 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.26
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 405 0 0 0 25 1 0 0 15 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 915560
[startup+6.27456 s]
/proc/loadavg: 1.97 2.03 2.00 3/105 15733
/proc/meminfo: memFree=976176/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=6.06
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10978 0 1 0 599 7 0 0 25 0 8 0 164521999 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073888101 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15725/statm: 228890 10714 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.26
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 405 0 0 0 25 1 0 0 15 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915560
[startup+12.7683 s]
/proc/loadavg: 1.97 2.03 2.00 3/105 15733
/proc/meminfo: memFree=976256/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=12.52
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10978 0 1 0 1245 7 0 0 25 0 8 0 164521999 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073874182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15725/statm: 228890 10714 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.26
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915560
[startup+25.6108 s]
/proc/loadavg: 1.98 2.03 2.00 3/105 15733
/proc/meminfo: memFree=976384/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=25.31
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10978 0 1 0 2523 8 0 0 25 0 8 0 164521999 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15725/statm: 228890 10714 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.26
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915560
[startup+51.2357 s]
/proc/loadavg: 1.92 2.01 1.99 3/94 15843
/proc/meminfo: memFree=1647200/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=50.86
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10979 0 1 0 5077 9 0 0 25 0 8 0 164521999 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10715 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.26
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 164522007 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915560
[startup+102.505 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 15843
/proc/meminfo: memFree=1618592/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=102.07
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10980 0 1 0 10198 9 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.26
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 915560
[startup+162.529 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 15843
/proc/meminfo: memFree=1601440/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=162.05
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10980 0 1 0 16195 10 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.27
Current children cumulated vsize (KiB) 915560
[startup+1483.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15845
/proc/meminfo: memFree=1508192/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1481.22
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10982 0 1 0 148110 12 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073874160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.27
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 915560
[startup+1543.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15845
/proc/meminfo: memFree=1504032/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1541.18
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10982 0 1 0 154106 12 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.27
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) R 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.18
Current children cumulated vsize (KiB) 915560
[startup+1603.12 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 15845
/proc/meminfo: memFree=1497888/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1601.16
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10982 0 1 0 160103 13 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855277 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.27
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.16
Current children cumulated vsize (KiB) 915560
[startup+1663.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15845
/proc/meminfo: memFree=1494880/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1661.1
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10982 0 1 0 166097 13 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.27
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.1
Current children cumulated vsize (KiB) 915560
[startup+1723.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15845
/proc/meminfo: memFree=1491616/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1721.08
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10982 0 1 0 172095 13 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864717 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.27
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.08
Current children cumulated vsize (KiB) 915560
[startup+1783.19 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15845
/proc/meminfo: memFree=1488928/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1781.05
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10982 0 1 0 178092 13 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864676 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.27
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.05
Current children cumulated vsize (KiB) 915560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.24 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 15845
/proc/meminfo: memFree=1487584/2055920 swapFree=4191880/4192956
[pid=15725] ppid=15723 vsize=915560 CPUtime=1800.06
/proc/15725/stat : 15725 (java) R 15723 15725 15658 0 -1 0 10982 0 1 0 179993 13 0 0 25 0 8 0 164521999 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15725/statm: 228890 10716 2524 14 0 215360 0
[pid=15725/tid=15727] ppid=15723 vsize=915560 CPUtime=0.04
/proc/15725/task/15727/stat : 15727 (java) S 15723 15725 15658 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 164522003 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15728] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15728/stat : 15728 (java) S 15723 15725 15658 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15729] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15723 15725 15658 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164522004 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15730] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15731] ppid=15723 vsize=915560 CPUtime=0.27
/proc/15725/task/15731/stat : 15731 (java) S 15723 15725 15658 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15725/tid=15732] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15732/stat : 15732 (java) S 15723 15725 15658 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15725/tid=15733] ppid=15723 vsize=915560 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15723 15725 15658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164522007 937533440 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.29
CPU time (s): 1800.12
CPU user time (s): 1799.98
CPU system time (s): 0.142978
CPU usage (%): 99.8796
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10998
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37698
involuntary context switches= 50466
runsolver used 2.44063 s user time and 5.54116 s system time
The end
Begin job on node9 on Sun Jan 7 09:14:29 UTC 2007
IDJOB= 203538
IDBENCH= 3968
FILE ID= node9/203538-1168161268
PBS_JOBID= 3478300
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb59-26/frb59-26-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203538-1168161268/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-203538-1168161268 -o ROOT/results/node9/solver-203538-1168161268 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203538-1168161268/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f9529f4e39f7cb6c05a9389afdf0b50f
RANDOM SEED= 239168241
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1009800 kB
Buffers: 33788 kB
Cached: 211212 kB
SwapCached: 276 kB
Active: 839588 kB
Inactive: 143020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1009800 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2468 kB
Writeback: 0 kB
Mapped: 759328 kB
Slab: 46816 kB
Committed_AS: 5143332 kB
PageTables: 3712 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66538 MiB
End job on node9 on Sun Jan 7 09:44:31 UTC 2007