0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/195922-1168116470/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.46 => wckTime=0.121 cpuTime=0.09 mem=6M951
0.46
0.46 relations being loaded...
1.11
1.11 constraints being loaded...
1.38 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.38 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.38 => wckTime=1.044 cpuTime=0.89 mem=48M774
1.50
1.50 solver IterativeSystematicSolver being built...
1.67 => wckTime=1.336 cpuTime=1.04 mem=34M522
1.79
1.79 preprocessing
1.79 nbConstraintChecks=35166 nbValidityChecks=57900 nbPropagations=231 nbRevisions=2390 nbUselessRevisions=2074
1.79 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.79 => wckTime=0.109 cpuTime=0.07 mem=34M522
1.85
1.85 search
1.85 run=0 nbConstraintChecks=31242 nbValidityChecks=59605 nbPropagations=576 nbRevisions=6226
1.85 nbUselessRevisions=5122 nbAssignments=28 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=50
1.85 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.85 => wckTime=0.176 cpuTime=0.13 mem=35M524
1.93
1.93 search
1.93 run=1 nbConstraintChecks=76116 nbValidityChecks=143597 nbPropagations=1531 nbRevisions=17320
1.93 nbUselessRevisions=14138 nbAssignments=66 nbFailedAssignments=31 nbBacktracks=25 nbVisitedNodes=114
1.93 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.249 cpuTime=0.2 mem=35M524
2.06
2.06 search
2.06 run=2 nbConstraintChecks=150663 nbValidityChecks=285966 nbPropagations=3224 nbRevisions=37338
2.06 nbUselessRevisions=30156 nbAssignments=124 nbFailedAssignments=60 nbBacktracks=48 nbVisitedNodes=219
2.06 nbRestartNogoods=3 mapSize=44 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.381 cpuTime=0.31 mem=35M524
2.21
2.21 search
2.21 run=3 nbConstraintChecks=248991 nbValidityChecks=498391 nbPropagations=5932 nbRevisions=69383
2.21 nbUselessRevisions=55930 nbAssignments=232 nbFailedAssignments=96 nbBacktracks=83 nbVisitedNodes=350
2.21 nbRestartNogoods=11 mapSize=71 nbInferences=0 nbTooLargeKeys=0
2.21 => wckTime=0.534 cpuTime=0.47 mem=35M524
2.37
2.37 search
2.37 run=4 nbConstraintChecks=341965 nbValidityChecks=695569 nbPropagations=9893 nbRevisions=115093
2.37 nbUselessRevisions=92386 nbAssignments=339 nbFailedAssignments=147 nbBacktracks=133 nbVisitedNodes=535
2.37 nbRestartNogoods=16 mapSize=108 nbInferences=0 nbTooLargeKeys=0
2.37 => wckTime=0.689 cpuTime=0.61 mem=35M524
2.64
2.64 search
2.64 run=5 nbConstraintChecks=528059 nbValidityChecks=1064774 nbPropagations=16074 nbRevisions=186412
2.64 nbUselessRevisions=149108 nbAssignments=526 nbFailedAssignments=238 nbBacktracks=210 nbVisitedNodes=843
2.64 nbRestartNogoods=22 mapSize=175 nbInferences=0 nbTooLargeKeys=0
2.64 => wckTime=0.967 cpuTime=0.88 mem=35M524
3.10
3.10 search
3.10 run=6 nbConstraintChecks=847209 nbValidityChecks=1695995 nbPropagations=25752 nbRevisions=300131
3.10 nbUselessRevisions=239131 nbAssignments=798 nbFailedAssignments=380 nbBacktracks=323 nbVisitedNodes=1319
3.10 nbRestartNogoods=27 mapSize=281 nbInferences=0 nbTooLargeKeys=0
3.10 => wckTime=1.426 cpuTime=1.33 mem=35M524
3.73
3.73 search
3.73 run=7 nbConstraintChecks=1271320 nbValidityChecks=2532109 nbPropagations=39700 nbRevisions=466192
3.73 nbUselessRevisions=370658 nbAssignments=1173 nbFailedAssignments=576 nbBacktracks=495 nbVisitedNodes=1998
3.73 nbRestartNogoods=36 mapSize=423 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=2.057 cpuTime=1.95 mem=35M524
4.63
4.64 search
4.64 run=8 nbConstraintChecks=1853955 nbValidityChecks=3717968 nbPropagations=61200 nbRevisions=716508
4.64 nbUselessRevisions=567889 nbAssignments=1763 nbFailedAssignments=904 nbBacktracks=753 nbVisitedNodes=3074
4.64 nbRestartNogoods=43 mapSize=656 nbInferences=0 nbTooLargeKeys=0
4.64 => wckTime=2.958 cpuTime=2.82 mem=35M524
6.38
6.39 search
6.39 run=9 nbConstraintChecks=3109495 nbValidityChecks=6175818 nbPropagations=94394 nbRevisions=1124160
6.39 nbUselessRevisions=890619 nbAssignments=2780 nbFailedAssignments=1534 nbBacktracks=1137 nbVisitedNodes=4989
6.39 nbRestartNogoods=51 mapSize=1006 nbInferences=0 nbTooLargeKeys=0
6.39 => wckTime=4.707 cpuTime=4.56 mem=35M524
6.43
6.43 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=35M524)
7.91
7.91 search
7.91 run=10 nbConstraintChecks=4222784 nbValidityChecks=8400291 nbPropagations=142421 nbRevisions=1700323
7.91 nbUselessRevisions=1343841 nbAssignments=4156 nbFailedAssignments=2326 nbBacktracks=1713 nbVisitedNodes=7487
7.91 nbRestartNogoods=54
7.91 => wckTime=6.23 cpuTime=6.07 mem=35M524
11.30
11.30 search
11.30 run=11 nbConstraintChecks=6696049 nbValidityChecks=13250775 nbPropagations=217799 nbRevisions=2602797
11.30 nbUselessRevisions=2052093 nbAssignments=6195 nbFailedAssignments=3484 nbBacktracks=2578 nbVisitedNodes=11263
11.30 nbRestartNogoods=69
11.30 => wckTime=9.619 cpuTime=9.42 mem=35M524
15.61
15.61 search
15.61 run=12 nbConstraintChecks=9758094 nbValidityChecks=19246146 nbPropagations=325318 nbRevisions=3892990
15.61 nbUselessRevisions=3065481 nbAssignments=8886 nbFailedAssignments=4872 nbBacktracks=3875 nbVisitedNodes=16118
15.61 nbRestartNogoods=81
15.61 => wckTime=13.928 cpuTime=13.69 mem=35M524
22.74
22.74 search
22.74 run=13 nbConstraintChecks=14805786 nbValidityChecks=29364796 nbPropagations=494609 nbRevisions=5902810
22.74 nbUselessRevisions=4643327 nbAssignments=13550 nbFailedAssignments=7576 nbBacktracks=5821 nbVisitedNodes=24810
22.74 nbRestartNogoods=96
22.74 => wckTime=21.064 cpuTime=20.75 mem=35M524
34.68
34.68 search
34.68 run=14 nbConstraintChecks=23247989 nbValidityChecks=46033711 nbPropagations=757175 nbRevisions=9026837
34.68 nbUselessRevisions=7093132 nbAssignments=20656 nbFailedAssignments=11745 nbBacktracks=8741 nbVisitedNodes=38081
34.68 nbRestartNogoods=109
34.68 => wckTime=33.002 cpuTime=32.58 mem=35M524
50.86
50.86 search
50.86 run=15 nbConstraintChecks=34589069 nbValidityChecks=68866943 nbPropagations=1161758 nbRevisions=13793926
50.86 nbUselessRevisions=10824157 nbAssignments=31038 nbFailedAssignments=17743 nbBacktracks=13121
50.86 nbVisitedNodes=57477 nbRestartNogoods=126
50.86 => wckTime=49.186 cpuTime=48.62 mem=35M524
73.25
73.25 search
73.25 run=16 nbConstraintChecks=50344837 nbValidityChecks=100799412 nbPropagations=1753353 nbRevisions=20658004
73.25 nbUselessRevisions=16189403 nbAssignments=46208 nbFailedAssignments=26330 nbBacktracks=19690
73.25 nbVisitedNodes=85220 nbRestartNogoods=144
73.25 => wckTime=71.576 cpuTime=70.79 mem=35M524
111.98
111.98 search
111.98 run=17 nbConstraintChecks=78469888 nbValidityChecks=156604275 nbPropagations=2670270 nbRevisions=31410797
111.98 nbUselessRevisions=24613297 nbAssignments=71343 nbFailedAssignments=41606 nbBacktracks=29543
111.98 nbVisitedNodes=132445 nbRestartNogoods=162
111.98 => wckTime=110.303 cpuTime=109.15 mem=35M524
166.51
166.51 search
166.51 run=18 nbConstraintChecks=117163433 nbValidityChecks=234565226 nbPropagations=4041532 nbRevisions=47608654
166.52 nbUselessRevisions=37320876 nbAssignments=106299 nbFailedAssignments=61766 nbBacktracks=44323
166.52 nbVisitedNodes=197691 nbRestartNogoods=180
166.52 => wckTime=164.833 cpuTime=163.17 mem=35M524
260.16
260.16 search
260.16 run=19 nbConstraintChecks=185645804 nbValidityChecks=368004412 nbPropagations=6133963 nbRevisions=72673469
260.16 nbUselessRevisions=56996837 nbAssignments=161103 nbFailedAssignments=94397 nbBacktracks=66491
260.16 nbVisitedNodes=300806 nbRestartNogoods=192
260.16 => wckTime=258.479 cpuTime=255.93 mem=35M524
368.48
368.48 search
368.48 run=20 nbConstraintChecks=262654803 nbValidityChecks=525234858 nbPropagations=9192692 nbRevisions=108935450
368.48 nbUselessRevisions=85451409 nbAssignments=240726 nbFailedAssignments=140764 nbBacktracks=99743
368.48 nbVisitedNodes=446897 nbRestartNogoods=200
368.48 => wckTime=366.806 cpuTime=363.23 mem=35M524
586.67
586.67 search
586.67 run=21 nbConstraintChecks=420477909 nbValidityChecks=830936944 nbPropagations=13896597 nbRevisions=165518933
586.67 nbUselessRevisions=129925825 nbAssignments=363189 nbFailedAssignments=213338 nbBacktracks=149622
586.67 nbVisitedNodes=677857 nbRestartNogoods=216
586.67 => wckTime=584.988 cpuTime=579.35 mem=35M524
837.35
837.35 search
837.35 run=22 nbConstraintChecks=599664436 nbValidityChecks=1196205305 nbPropagations=20816334 nbRevisions=247663365
837.35 nbUselessRevisions=194417035 nbAssignments=546297 nbFailedAssignments=321612 nbBacktracks=224442
837.35 nbVisitedNodes=1014856 nbRestartNogoods=229
837.35 => wckTime=835.677 cpuTime=827.56 mem=35M524
1335.80
1335.80 search
1335.80 run=23 nbConstraintChecks=966158878 nbValidityChecks=1902212280 nbPropagations=31528206 nbRevisions=376567714
1335.80 nbUselessRevisions=295673713 nbAssignments=825824 nbFailedAssignments=488901 nbBacktracks=336669
1335.80 nbVisitedNodes=1542912 nbRestartNogoods=257
1335.80 => wckTime=1334.118 cpuTime=1321.33 mem=35M524
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-195922-1168116470 -o ROOT/results/node1/solver-195922-1168116470 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195922-1168116470/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.99 2.00 2.05 4/94 32437
/proc/meminfo: memFree=1805720/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=11820 CPUtime=0
/proc/32436/stat : 32436 (java) D 32434 32436 30881 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 160042815 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5829412 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/32436/statm: 2955 510 421 14 0 1602 0
[startup+0.103056 s]
/proc/loadavg: 1.99 2.00 2.05 4/94 32437
/proc/meminfo: memFree=1805720/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=913236 CPUtime=0.08
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 2919 0 1 0 7 1 0 0 17 0 8 0 160042815 935153664 2665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.514107 s]
/proc/loadavg: 1.99 2.00 2.05 4/94 32437
/proc/meminfo: memFree=1805720/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915328 CPUtime=0.45
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 6658 0 12 0 41 4 0 0 18 0 8 0 160042815 937295872 6408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228832 6408 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.3432 s]
/proc/loadavg: 1.99 2.00 2.05 3/101 32444
/proc/meminfo: memFree=1736160/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915328 CPUtime=1.27
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 19095 0 12 0 118 9 0 0 25 0 8 0 160042815 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228832 18844 2160 14 0 215302 0
[pid=32436/tid=32438] ppid=32434 vsize=915328 CPUtime=0.04
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 2644 0 0 0 4 0 0 0 17 0 8 0 160042818 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915328 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915328 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160042819 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915328 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915328 CPUtime=0.11
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 320 0 0 0 11 0 0 0 16 0 8 0 160042823 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915328 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915328 CPUtime=0
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160042823 937295872 18844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915328
[startup+2.9834 s]
/proc/loadavg: 1.99 2.00 2.05 4/101 32444
/proc/meminfo: memFree=1720032/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=2.89
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23465 0 12 0 276 13 0 0 25 0 8 0 160042815 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23212 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 160042818 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.21
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 370 0 0 0 20 1 0 0 15 0 8 0 160042823 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160042823 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915416
[startup+6.26478 s]
/proc/loadavg: 1.99 2.00 2.05 3/101 32444
/proc/meminfo: memFree=1719904/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=6.14
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23480 0 12 0 601 13 0 0 25 0 8 0 160042815 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23224 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 160042818 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.24
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 383 0 0 0 23 1 0 0 16 0 8 0 160042823 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160042823 937385984 23224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915416
[startup+12.7595 s]
/proc/loadavg: 1.99 2.00 2.05 3/101 32444
/proc/meminfo: memFree=1719840/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=12.58
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23486 0 12 0 1244 14 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915416
[startup+25.628 s]
/proc/loadavg: 1.99 2.00 2.05 3/101 32444
/proc/meminfo: memFree=1720032/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=25.33
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 2519 14 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915416
[startup+51.2596 s]
/proc/loadavg: 1.99 2.00 2.05 3/101 32444
/proc/meminfo: memFree=1720096/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=50.72
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 5058 14 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915416
[startup+102.555 s]
/proc/loadavg: 1.99 2.00 2.04 3/101 32444
/proc/meminfo: memFree=1720096/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=101.54
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 10139 15 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915416
[startup+162.609 s]
/proc/loadavg: 1.99 2.00 2.03 3/101 32444
/proc/meminfo: memFree=1720032/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=161.02
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 16087 15 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.94
Current children cumulated vsize (KiB) 915416
[startup+1483.49 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 32642
/proc/meminfo: memFree=1717536/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=1469.43
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 146916 27 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0.02
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.43
Current children cumulated vsize (KiB) 915416
[startup+1543.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 32642
/proc/meminfo: memFree=1717472/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=1528.89
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 152862 27 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0.02
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.89
Current children cumulated vsize (KiB) 915416
[startup+1603.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 32642
/proc/meminfo: memFree=1717344/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=1588.36
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 158808 28 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0.02
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.36
Current children cumulated vsize (KiB) 915416
[startup+1663.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 32642
/proc/meminfo: memFree=1717344/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=1647.84
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 164756 28 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0.02
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.84
Current children cumulated vsize (KiB) 915416
[startup+1723.63 s]
/proc/loadavg: 2.04 2.01 2.00 3/105 32697
/proc/meminfo: memFree=1612800/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=1707.52
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 170720 32 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073768439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0.02
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.52
Current children cumulated vsize (KiB) 915416
[startup+1783.66 s]
/proc/loadavg: 2.05 2.02 2.00 3/105 32697
/proc/meminfo: memFree=1568448/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=1767.07
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 176675 32 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0.02
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.07
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.81 s]
/proc/loadavg: 2.02 2.02 2.00 3/105 32697
/proc/meminfo: memFree=1568448/2055920 swapFree=4165612/4192956
[pid=32436] ppid=32434 vsize=915416 CPUtime=1800.04
/proc/32436/stat : 32436 (java) R 32434 32436 30881 0 -1 0 23487 0 12 0 179972 32 0 0 25 0 8 0 160042815 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32436/statm: 228854 23229 2531 14 0 215324 0
[pid=32436/tid=32438] ppid=32434 vsize=915416 CPUtime=0.16
/proc/32436/task/32438/stat : 32438 (java) S 32434 32436 30881 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 160042818 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32439] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32439/stat : 32439 (java) S 32434 32436 30881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32440] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32440/stat : 32440 (java) S 32434 32436 30881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160042819 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32441] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32441/stat : 32441 (java) S 32434 32436 30881 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32442] ppid=32434 vsize=915416 CPUtime=0.25
/proc/32436/task/32442/stat : 32442 (java) S 32434 32436 30881 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32443] ppid=32434 vsize=915416 CPUtime=0
/proc/32436/task/32443/stat : 32443 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32436/tid=32444] ppid=32434 vsize=915416 CPUtime=0.02
/proc/32436/task/32444/stat : 32444 (java) S 32434 32436 30881 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 160042823 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.88
CPU time (s): 1800.11
CPU user time (s): 1799.77
CPU system time (s): 0.341948
CPU usage (%): 99.077
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23503
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37903
involuntary context switches= 99739
runsolver used 2.38064 s user time and 5.83411 s system time
The end
Begin job on node1 on Sat Jan 6 20:47:51 UTC 2007
IDJOB= 195922
IDBENCH= 3312
FILE ID= node1/195922-1168116470
PBS_JOBID= 3477100
Free space on /tmp= 66298 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-46_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195922-1168116470/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-195922-1168116470 -o ROOT/results/node1/solver-195922-1168116470 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195922-1168116470/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d3ce6bd5a83c5df86f3f945031a07203
RANDOM SEED= 130412683
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.234
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.234
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: 1806200 kB
Buffers: 30748 kB
Cached: 85752 kB
SwapCached: 3928 kB
Active: 119700 kB
Inactive: 72596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1806200 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 4532 kB
Writeback: 0 kB
Mapped: 92936 kB
Slab: 42016 kB
Committed_AS: 4465392 kB
PageTables: 2488 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= 66296 MiB
End job on node1 on Sat Jan 6 21:18:08 UTC 2007