0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/203481-1168160235/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=53 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.48 => wckTime=0.124 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
0.64
0.64 constraints being loaded...
0.79 nbConstraints=473 nbRelationTypes=473 nbExtensionStructures=473 nbSharedExtensionStructures=0
0.79 nbConflictsStructures=473 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1123 maxDegree=24
0.79 maxArity=2
0.79 => wckTime=0.439 cpuTime=0.32 mem=18M670
0.84
0.84 solver IterativeSystematicSolver being built...
1.00 => wckTime=0.65 cpuTime=0.46 mem=15M602
1.07
1.07 preprocessing
1.07 nbConstraintChecks=124608 nbPropagations=1235 nbRevisions=10505 nbUselessRevisions=8800 nbSingletonTests=64
1.07 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.07 => wckTime=0.062 cpuTime=0.03 mem=15M602
1.10
1.10 search
1.10 run=0 nbConstraintChecks=45766 nbPropagations=1734 nbRevisions=15998 nbUselessRevisions=13317 nbAssignments=25
1.10 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.10 nbTooLargeKeys=0
1.10 => wckTime=0.091 cpuTime=0.06 mem=15M602
1.12
1.12 search
1.12 run=1 nbConstraintChecks=110280 nbPropagations=4219 nbRevisions=41363 nbUselessRevisions=34294
1.12 nbAssignments=60 nbFailedAssignments=13 nbBacktracks=25 nbVisitedNodes=88 nbRestartNogoods=2 mapSize=20
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.113 cpuTime=0.07 mem=15M602
1.14
1.14 search
1.14 run=2 nbConstraintChecks=195437 nbPropagations=7731 nbRevisions=79911 nbUselessRevisions=66255
1.14 nbAssignments=110 nbFailedAssignments=28 nbBacktracks=47 nbVisitedNodes=165 nbRestartNogoods=5 mapSize=38
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.135 cpuTime=0.09 mem=15M602
1.17
1.17 search
1.17 run=3 nbConstraintChecks=318713 nbPropagations=12538 nbRevisions=136981 nbUselessRevisions=113242
1.17 nbAssignments=179 nbFailedAssignments=54 nbBacktracks=80 nbVisitedNodes=276 nbRestartNogoods=8 mapSize=67
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.159 cpuTime=0.11 mem=15M602
1.19
1.19 search
1.20 run=4 nbConstraintChecks=475564 nbPropagations=18951 nbRevisions=216387 nbUselessRevisions=178250
1.20 nbAssignments=264 nbFailedAssignments=80 nbBacktracks=130 nbVisitedNodes=414 nbRestartNogoods=12 mapSize=101
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.187 cpuTime=0.14 mem=15M602
1.24
1.24 search
1.24 run=5 nbConstraintChecks=717305 nbPropagations=28241 nbRevisions=336381 nbUselessRevisions=276498
1.24 nbAssignments=404 nbFailedAssignments=132 nbBacktracks=207 nbVisitedNodes=649 nbRestartNogoods=16 mapSize=166
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.236 cpuTime=0.18 mem=15M602
1.30
1.30 search
1.30 run=6 nbConstraintChecks=1033621 nbPropagations=41327 nbRevisions=511203 nbUselessRevisions=419066
1.30 nbAssignments=599 nbFailedAssignments=202 nbBacktracks=324 nbVisitedNodes=974 nbRestartNogoods=21 mapSize=256
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.293 cpuTime=0.24 mem=15M602
1.39
1.39 search
1.39 run=7 nbConstraintChecks=1627896 nbPropagations=60498 nbRevisions=779082 nbUselessRevisions=636719
1.40 nbAssignments=910 nbFailedAssignments=330 nbBacktracks=496 nbVisitedNodes=1502 nbRestartNogoods=23 mapSize=400
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.388 cpuTime=0.33 mem=15M602
1.54
1.54 search
1.54 run=8 nbConstraintChecks=2520675 nbPropagations=89145 nbRevisions=1185697 nbUselessRevisions=965920
1.54 nbAssignments=1351 nbFailedAssignments=503 nbBacktracks=752 nbVisitedNodes=2261 nbRestartNogoods=30
1.54 mapSize=612 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.537 cpuTime=0.48 mem=15M602
1.75
1.75 search
1.76 run=9 nbConstraintChecks=3784325 nbPropagations=131454 nbRevisions=1796468 nbUselessRevisions=1461966
1.76 nbAssignments=2004 nbFailedAssignments=739 nbBacktracks=1137 nbVisitedNodes=3333 nbRestartNogoods=39
1.76 mapSize=934 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.748 cpuTime=0.67 mem=16M577
1.82
1.82 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=16M577)
2.06
2.06 search
2.06 run=10 nbConstraintChecks=5817115 nbPropagations=194363 nbRevisions=2713059 nbUselessRevisions=2201837
2.06 nbAssignments=3009 nbFailedAssignments=1155 nbBacktracks=1720 nbVisitedNodes=5057 nbRestartNogoods=41
2.06 => wckTime=1.05 cpuTime=0.95 mem=16M577
2.44
2.44 search
2.44 run=11 nbConstraintChecks=8349770 nbPropagations=286498 nbRevisions=4051360 nbUselessRevisions=3281833
2.44 nbAssignments=4449 nbFailedAssignments=1720 nbBacktracks=2586 nbVisitedNodes=7523 nbRestartNogoods=43
2.44 => wckTime=1.432 cpuTime=1.33 mem=16M577
2.99
2.99 search
2.99 run=12 nbConstraintChecks=12237663 nbPropagations=420879 nbRevisions=6025763 nbUselessRevisions=4878411
2.99 nbAssignments=6551 nbFailedAssignments=2511 nbBacktracks=3885 nbVisitedNodes=11088 nbRestartNogoods=51
2.99 => wckTime=1.988 cpuTime=1.88 mem=16M577
3.89
3.89 search
3.89 run=13 nbConstraintChecks=18610792 nbPropagations=623594 nbRevisions=9026698 nbUselessRevisions=7309013
3.89 nbAssignments=9785 nbFailedAssignments=3764 nbBacktracks=5831 nbVisitedNodes=16641 nbRestartNogoods=60
3.89 => wckTime=2.884 cpuTime=2.77 mem=16M577
5.15
5.15 search
5.15 run=14 nbConstraintChecks=27574863 nbPropagations=924726 nbRevisions=13456639 nbUselessRevisions=10891073
5.15 nbAssignments=14486 nbFailedAssignments=5502 nbBacktracks=8750 nbVisitedNodes=24574 nbRestartNogoods=75
5.15 => wckTime=4.147 cpuTime=4.03 mem=16M577
7.11
7.11 search
7.11 run=15 nbConstraintChecks=41667102 nbPropagations=1373121 nbRevisions=20053261 nbUselessRevisions=16211440
7.11 nbAssignments=21526 nbFailedAssignments=8153 nbBacktracks=13130 nbVisitedNodes=36549 nbRestartNogoods=81
7.11 => wckTime=6.102 cpuTime=5.96 mem=16M577
10.28
10.28 search
10.28 run=16 nbConstraintChecks=64697549 nbPropagations=2063267 nbRevisions=30263742 nbUselessRevisions=24443531
10.28 nbAssignments=32905 nbFailedAssignments=12952 nbBacktracks=19702 nbVisitedNodes=56363 nbRestartNogoods=92
10.28 => wckTime=9.272 cpuTime=9.11 mem=16M577
14.84
14.84 search
14.84 run=17 nbConstraintChecks=96302995 nbPropagations=3105113 nbRevisions=45815993 nbUselessRevisions=37021672
14.84 nbAssignments=49720 nbFailedAssignments=19905 nbBacktracks=29555 nbVisitedNodes=85749 nbRestartNogoods=100
14.84 => wckTime=13.836 cpuTime=13.63 mem=16M577
21.53
21.53 search
21.53 run=18 nbConstraintChecks=144058796 nbPropagations=4647394 nbRevisions=68974135 nbUselessRevisions=55764202
21.53 nbAssignments=73640 nbFailedAssignments=29035 nbBacktracks=44335 nbVisitedNodes=126707 nbRestartNogoods=113
21.53 => wckTime=20.525 cpuTime=20.26 mem=16M577
31.00
31.00 search
31.00 run=19 nbConstraintChecks=208939444 nbPropagations=6935624 nbRevisions=103045596 nbUselessRevisions=83345421
31.00 nbAssignments=109620 nbFailedAssignments=42835 nbBacktracks=66506 nbVisitedNodes=188433 nbRestartNogoods=125
31.00 => wckTime=29.989 cpuTime=29.65 mem=16M577
46.31
46.32 search
46.32 run=20 nbConstraintChecks=317067587 nbPropagations=10388509 nbRevisions=154498183 nbUselessRevisions=124971795
46.32 nbAssignments=165080 nbFailedAssignments=65033 nbBacktracks=99760 nbVisitedNodes=284491 nbRestartNogoods=141
46.32 => wckTime=45.309 cpuTime=44.83 mem=16M577
68.17
68.17 search
68.17 run=21 nbConstraintChecks=473965623 nbPropagations=15505259 nbRevisions=230484193 nbUselessRevisions=186372379
68.17 nbAssignments=244933 nbFailedAssignments=94997 nbBacktracks=149638 nbVisitedNodes=420273 nbRestartNogoods=150
68.17 => wckTime=67.161 cpuTime=66.49 mem=16M577
102.30
102.30 search
102.30 run=22 nbConstraintChecks=719245823 nbPropagations=23217540 nbRevisions=345419415 nbUselessRevisions=279277934
102.30 nbAssignments=368783 nbFailedAssignments=144021 nbBacktracks=224456 nbVisitedNodes=633405 nbRestartNogoods=165
102.30 => wckTime=101.29 cpuTime=100.33 mem=16M577
153.80
153.80 search
153.80 run=23 nbConstraintChecks=1078066992 nbPropagations=34845453 nbRevisions=520250396 nbUselessRevisions=420978252
153.80 nbAssignments=556093 nbFailedAssignments=219092 nbBacktracks=336688 nbVisitedNodes=958135 nbRestartNogoods=184
153.80 => wckTime=152.791 cpuTime=151.39 mem=16M577
229.78
229.78 search
229.78 run=24 nbConstraintChecks=1616497072 nbPropagations=52260097 nbRevisions=782347724 nbUselessRevisions=633412841
229.78 nbAssignments=833003 nbFailedAssignments=327650 nbBacktracks=505030 nbVisitedNodes=1433820 nbRestartNogoods=202
229.78 => wckTime=228.775 cpuTime=226.66 mem=16M577
345.26
345.26 search
345.26 run=25 nbConstraintChecks=2424429225 nbPropagations=78490202 nbRevisions=1176390362
345.26 nbUselessRevisions=952753024 nbAssignments=1250818 nbFailedAssignments=492914 nbBacktracks=757542
345.26 nbVisitedNodes=2156452 nbRestartNogoods=221
345.26 => wckTime=344.249 cpuTime=340.94 mem=16M577
507.13
507.13 search
507.13 run=26 nbConstraintChecks=3566169197 nbPropagations=117022637 nbRevisions=1756052551
507.13 nbUselessRevisions=1422502739 nbAssignments=1851903 nbFailedAssignments=715207 nbBacktracks=1136310
507.13 nbVisitedNodes=3176212 nbRestartNogoods=235
507.13 => wckTime=506.121 cpuTime=501.34 mem=16M577
772.47
772.47 search
772.47 run=27 nbConstraintChecks=5436660626 nbPropagations=175667789 nbRevisions=2642007870
772.47 nbUselessRevisions=2141130281 nbAssignments=2806513 nbFailedAssignments=1101641 nbBacktracks=1704462
772.47 nbVisitedNodes=4833948 nbRestartNogoods=248
772.47 => wckTime=771.46 cpuTime=764.37 mem=16M577
1156.30
1156.30 search
1156.30 run=28 nbConstraintChecks=8173838810 nbPropagations=263671027 nbRevisions=3967644916
1156.30 nbUselessRevisions=3215685901 nbAssignments=4199123 nbFailedAssignments=1642014 nbBacktracks=2556691
1156.30 nbVisitedNodes=7224991 nbRestartNogoods=269
1156.30 => wckTime=1155.294 cpuTime=1146.08 mem=16M577
1717.38
1717.38 search
1717.38 run=29 nbConstraintChecks=12362777484 nbPropagations=396376884 nbRevisions=5970574928
1717.38 nbUselessRevisions=4840018471 nbAssignments=6319510 nbFailedAssignments=2484050 nbBacktracks=3835032
1717.38 nbVisitedNodes=10892807 nbRestartNogoods=276
1717.38 => wckTime=1716.37 cpuTime=1705.84 mem=16M577
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-203481-1168160235 -o ROOT/results/node15/solver-203481-1168160235 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203481-1168160235/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.92 1.98 1.99 2/86 11496
/proc/meminfo: memFree=1810184/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=18540 CPUtime=0
/proc/11495/stat : 11495 (runsolver) R 11493 11495 10611 0 -1 4194368 17 0 0 0 0 0 0 0 23 0 1 0 164418355 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11495/statm: 4635 279 244 17 0 2626 0
[startup+0.102613 s]
/proc/loadavg: 1.92 1.98 1.99 2/86 11496
/proc/meminfo: memFree=1810184/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=911488 CPUtime=0.06
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 2586 0 1 0 5 1 0 0 20 0 8 0 164418355 933363712 2333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154094532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 227872 2333 1271 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.514681 s]
/proc/loadavg: 1.92 1.98 1.99 2/86 11496
/proc/meminfo: memFree=1810184/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915328 CPUtime=0.44
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 6266 0 11 0 39 5 0 0 18 0 8 0 164418355 937295872 6015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228832 6015 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33882 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778576/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1.25
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9956 0 11 0 117 8 0 0 24 0 8 0 164418355 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228865 9704 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.22
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 164418365 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915460
[startup+2.9761 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778512/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=2.87
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9974 0 11 0 279 8 0 0 25 0 8 0 164418355 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228865 9721 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 17 0 8 0 164418361 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.25
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460
[startup+6.27567 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778448/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=6.15
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9975 0 11 0 607 8 0 0 25 0 8 0 164418355 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228865 9721 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.25
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.7508 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778448/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=12.56
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9975 0 11 0 1248 8 0 0 25 0 8 0 164418355 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228865 9721 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.25
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915460
[startup+25.607 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778576/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=25.31
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9976 0 11 0 2523 8 0 0 25 0 8 0 164418355 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228865 9722 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.25
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 164418365 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9722 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) 915460
[startup+51.2174 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778640/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=50.69
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9977 0 11 0 5061 8 0 0 25 0 8 0 164418355 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228865 9722 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.25
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 164418365 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915460
[startup+102.436 s]
/proc/loadavg: 1.98 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778640/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=101.48
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9978 0 11 0 10139 9 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915460
[startup+162.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 11503
/proc/meminfo: memFree=1778640/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=161.04
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9978 0 11 0 16095 9 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.7
Current children cumulated vsize (KiB) 915460
[startup+1483.96 s]
/proc/loadavg: 2.07 2.03 2.01 3/93 11741
/proc/meminfo: memFree=1776088/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1473.7
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9979 0 11 0 147352 18 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.7
Current children cumulated vsize (KiB) 915460
[startup+1544.03 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 11741
/proc/meminfo: memFree=1776024/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1533.71
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9979 0 11 0 153353 18 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.71
Current children cumulated vsize (KiB) 915460
[startup+1604.09 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 11741
/proc/meminfo: memFree=1776024/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1593.72
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9979 0 11 0 159354 18 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.72
Current children cumulated vsize (KiB) 915460
[startup+1664.17 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 11741
/proc/meminfo: memFree=1775960/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1653.71
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9979 0 11 0 165352 19 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.71
Current children cumulated vsize (KiB) 915460
[startup+1724.24 s]
/proc/loadavg: 2.01 2.02 2.00 4/93 11741
/proc/meminfo: memFree=1775960/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1713.74
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9979 0 11 0 171355 19 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.74
Current children cumulated vsize (KiB) 915460
[startup+1784.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/93 11741
/proc/meminfo: memFree=1775896/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1773.74
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9979 0 11 0 177355 19 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814337 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.74
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.65 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 11741
/proc/meminfo: memFree=1775896/2055920 swapFree=4174172/4192956
[pid=11495] ppid=11493 vsize=915460 CPUtime=1800.04
/proc/11495/stat : 11495 (java) R 11493 11495 10611 0 -1 0 9979 0 11 0 179985 19 0 0 25 0 8 0 164418355 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 228865 9723 2524 14 0 215335 0
[pid=11495/tid=11497] ppid=11493 vsize=915460 CPUtime=0.03
/proc/11495/task/11497/stat : 11497 (java) S 11493 11495 10611 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 164418361 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11498] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 10611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 10611 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164418362 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11500] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11500/stat : 11500 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=915460 CPUtime=0.26
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 10611 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11502] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11502/stat : 11502 (java) S 11493 11495 10611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=915460 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 10611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164418365 937431040 9723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.7
CPU time (s): 1800.09
CPU user time (s): 1799.89
CPU system time (s): 0.202969
CPU usage (%): 99.4141
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9996
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37834
involuntary context switches= 62560
runsolver used 2.13867 s user time and 5.8941 s system time
The end
Begin job on node15 on Sun Jan 7 08:57:15 UTC 2007
IDJOB= 203481
IDBENCH= 3965
FILE ID= node15/203481-1168160235
PBS_JOBID= 3478265
Free space on /tmp= 66325 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203481-1168160235/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-203481-1168160235 -o ROOT/results/node15/solver-203481-1168160235 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203481-1168160235/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 58a018f3335821d1414ff360bd57ba06
RANDOM SEED= 940265855
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.276
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.276
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: 1810728 kB
Buffers: 44652 kB
Cached: 105892 kB
SwapCached: 6400 kB
Active: 94352 kB
Inactive: 95508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1810728 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2144 kB
Writeback: 0 kB
Mapped: 52004 kB
Slab: 40064 kB
Committed_AS: 4530692 kB
PageTables: 2360 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= 66328 MiB
End job on node15 on Sun Jan 7 09:27:26 UTC 2007