0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196104-1168118992/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.07
1.07 constraints being loaded...
1.35 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.35 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=22 maxArity=3
1.35 => wckTime=1.032 cpuTime=0.89 mem=47M643
1.48
1.48 solver IterativeSystematicSolver being built...
1.66 => wckTime=1.338 cpuTime=1.04 mem=34M173
1.77
1.77 preprocessing
1.77 nbConstraintChecks=30518 nbValidityChecks=50238 nbPropagations=197 nbRevisions=2039 nbUselessRevisions=1780
1.77 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.77 => wckTime=0.106 cpuTime=0.07 mem=34M173
1.83
1.83 search
1.83 run=0 nbConstraintChecks=26123 nbValidityChecks=52322 nbPropagations=519 nbRevisions=5266
1.83 nbUselessRevisions=4268 nbAssignments=33 nbFailedAssignments=16 nbBacktracks=12 nbVisitedNodes=57
1.83 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.168 cpuTime=0.13 mem=35M177
1.96
1.96 search
1.96 run=1 nbConstraintChecks=97710 nbValidityChecks=208708 nbPropagations=1719 nbRevisions=18030
1.96 nbUselessRevisions=14684 nbAssignments=113 nbFailedAssignments=36 nbBacktracks=28 nbVisitedNodes=127
1.96 nbRestartNogoods=7 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.3 cpuTime=0.25 mem=35M177
2.07
2.07 search
2.07 run=2 nbConstraintChecks=147942 nbValidityChecks=320593 nbPropagations=3703 nbRevisions=39070
2.07 nbUselessRevisions=31510 nbAssignments=184 nbFailedAssignments=78 nbBacktracks=50 nbVisitedNodes=255
2.07 nbRestartNogoods=9 mapSize=43 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.404 cpuTime=0.34 mem=35M177
2.24
2.24 search
2.24 run=3 nbConstraintChecks=255383 nbValidityChecks=539291 nbPropagations=6830 nbRevisions=72932
2.24 nbUselessRevisions=58255 nbAssignments=275 nbFailedAssignments=123 nbBacktracks=83 nbVisitedNodes=406
2.24 nbRestartNogoods=16 mapSize=71 nbInferences=0 nbTooLargeKeys=0
2.24 => wckTime=0.574 cpuTime=0.5 mem=35M177
2.44
2.44 search
2.44 run=4 nbConstraintChecks=383753 nbValidityChecks=812432 nbPropagations=11685 nbRevisions=125473
2.44 nbUselessRevisions=99601 nbAssignments=418 nbFailedAssignments=199 nbBacktracks=133 nbVisitedNodes=652
2.44 nbRestartNogoods=20 mapSize=118 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=0.78 cpuTime=0.7 mem=35M177
2.78
2.78 search
2.78 run=5 nbConstraintChecks=592009 nbValidityChecks=1266508 nbPropagations=19158 nbRevisions=206543
2.78 nbUselessRevisions=163418 nbAssignments=624 nbFailedAssignments=288 nbBacktracks=209 nbVisitedNodes=962
2.78 nbRestartNogoods=30 mapSize=191 nbInferences=0 nbTooLargeKeys=0
2.78 => wckTime=1.115 cpuTime=1.03 mem=35M177
3.23
3.23 search
3.23 run=6 nbConstraintChecks=884450 nbValidityChecks=1857435 nbPropagations=29896 nbRevisions=324557
3.23 nbUselessRevisions=256107 nbAssignments=907 nbFailedAssignments=452 nbBacktracks=322 nbVisitedNodes=1484
3.23 nbRestartNogoods=33 mapSize=290 nbInferences=0 nbTooLargeKeys=0
3.23 => wckTime=1.568 cpuTime=1.48 mem=35M177
3.83
3.83 search
3.83 run=7 nbConstraintChecks=1279797 nbValidityChecks=2684996 nbPropagations=45202 nbRevisions=492341
3.83 nbUselessRevisions=387257 nbAssignments=1313 nbFailedAssignments=664 nbBacktracks=493 nbVisitedNodes=2206
3.83 nbRestartNogoods=43 mapSize=436 nbInferences=0 nbTooLargeKeys=0
3.83 => wckTime=2.168 cpuTime=2.07 mem=35M177
4.99
4.99 search
4.99 run=8 nbConstraintChecks=2039974 nbValidityChecks=4306737 nbPropagations=70207 nbRevisions=769603
4.99 nbUselessRevisions=603926 nbAssignments=1993 nbFailedAssignments=1056 nbBacktracks=749 nbVisitedNodes=3450
4.99 nbRestartNogoods=52 mapSize=686 nbInferences=0 nbTooLargeKeys=0
4.99 => wckTime=3.33 cpuTime=3.2 mem=35M177
6.24
6.24 search
6.24 run=9 nbConstraintChecks=2901291 nbValidityChecks=6078008 nbPropagations=104836 nbRevisions=1151961
6.24 nbUselessRevisions=901859 nbAssignments=2888 nbFailedAssignments=1526 nbBacktracks=1134 nbVisitedNodes=5014
6.24 nbRestartNogoods=63 mapSize=1022 nbInferences=0 nbTooLargeKeys=0
6.24 => wckTime=4.576 cpuTime=4.43 mem=35M177
6.33
6.33 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=35M177)
8.10
8.11 search
8.11 run=10 nbConstraintChecks=4197400 nbValidityChecks=8715437 nbPropagations=153919 nbRevisions=1695981
8.11 nbUselessRevisions=1326133 nbAssignments=4163 nbFailedAssignments=2202 nbBacktracks=1710 nbVisitedNodes=7330
8.11 nbRestartNogoods=75
8.11 => wckTime=6.444 cpuTime=6.27 mem=35M177
11.14
11.14 search
11.14 run=11 nbConstraintChecks=6460770 nbValidityChecks=13439806 nbPropagations=230016 nbRevisions=2536779
11.14 nbUselessRevisions=1977427 nbAssignments=6433 nbFailedAssignments=3602 nbBacktracks=2574 nbVisitedNodes=11555
11.14 nbRestartNogoods=82
11.14 => wckTime=9.482 cpuTime=9.3 mem=35M177
14.63
14.63 search
14.63 run=12 nbConstraintChecks=9096544 nbValidityChecks=19180950 nbPropagations=346113 nbRevisions=3803979
14.63 nbUselessRevisions=2957528 nbAssignments=9753 nbFailedAssignments=5587 nbBacktracks=3871 nbVisitedNodes=17697
14.63 nbRestartNogoods=92
14.63 => wckTime=12.965 cpuTime=12.77 mem=35M177
23.30
23.30 search
23.30 run=13 nbConstraintChecks=15755451 nbValidityChecks=33274013 nbPropagations=533342 nbRevisions=5988582
23.30 nbUselessRevisions=4660712 nbAssignments=15773 nbFailedAssignments=9657 nbBacktracks=5817 nbVisitedNodes=29259
23.30 nbRestartNogoods=101
23.30 => wckTime=21.637 cpuTime=21.43 mem=35M177
32.74
32.74 search
32.74 run=14 nbConstraintChecks=23060214 nbValidityChecks=48423248 nbPropagations=815000 nbRevisions=9210678
32.74 nbUselessRevisions=7170640 nbAssignments=22670 nbFailedAssignments=13628 nbBacktracks=8738 nbVisitedNodes=42099
32.74 nbRestartNogoods=111
32.74 => wckTime=31.082 cpuTime=30.87 mem=35M177
46.31
46.31 search
46.31 run=15 nbConstraintChecks=33667565 nbValidityChecks=70172308 nbPropagations=1225257 nbRevisions=13864596
46.31 nbUselessRevisions=10795485 nbAssignments=33064 nbFailedAssignments=19620 nbBacktracks=13116
46.31 nbVisitedNodes=61525 nbRestartNogoods=119
46.31 => wckTime=44.649 cpuTime=44.41 mem=35M177
65.41
65.41 search
65.41 run=16 nbConstraintChecks=48686387 nbValidityChecks=101146125 nbPropagations=1831351 nbRevisions=20661175
65.41 nbUselessRevisions=16077943 nbAssignments=48944 nbFailedAssignments=28917 nbBacktracks=19685
65.41 nbVisitedNodes=91274 nbRestartNogoods=135
65.41 => wckTime=63.752 cpuTime=63.5 mem=35M177
97.23
97.23 search
97.23 run=17 nbConstraintChecks=73377247 nbValidityChecks=153528795 nbPropagations=2754273 nbRevisions=31086424
97.23 nbUselessRevisions=24186386 nbAssignments=74827 nbFailedAssignments=44915 nbBacktracks=29538
97.23 nbVisitedNodes=139875 nbRestartNogoods=155
97.23 => wckTime=95.568 cpuTime=95.28 mem=35M177
140.26
140.26 search
140.26 run=18 nbConstraintChecks=106732171 nbValidityChecks=224143721 nbPropagations=4145440 nbRevisions=46618361
140.26 nbUselessRevisions=36264465 nbAssignments=110437 nbFailedAssignments=65740 nbBacktracks=44316
140.26 nbVisitedNodes=206602 nbRestartNogoods=163
140.26 => wckTime=138.599 cpuTime=138.27 mem=35M177
214.75
214.75 search
214.75 run=19 nbConstraintChecks=164251462 nbValidityChecks=342440956 nbPropagations=6209466 nbRevisions=69764891
214.75 nbUselessRevisions=54276621 nbAssignments=165630 nbFailedAssignments=98760 nbBacktracks=66484
214.75 nbVisitedNodes=310368 nbRestartNogoods=181
214.75 => wckTime=213.091 cpuTime=212.69 mem=35M177
314.15
314.15 search
314.15 run=20 nbConstraintChecks=241581107 nbValidityChecks=501210151 nbPropagations=9231502 nbRevisions=103583948
314.15 nbUselessRevisions=80589060 nbAssignments=242834 nbFailedAssignments=142705 nbBacktracks=99737
314.15 nbVisitedNodes=453627 nbRestartNogoods=208
314.15 => wckTime=312.488 cpuTime=311.97 mem=35M177
464.94
464.94 search
464.94 run=21 nbConstraintChecks=358240407 nbValidityChecks=744722846 nbPropagations=13781026 nbRevisions=154624057
464.94 nbUselessRevisions=120361453 nbAssignments=360036 nbFailedAssignments=210025 nbBacktracks=149615
464.94 nbVisitedNodes=671127 nbRestartNogoods=218
464.94 => wckTime=463.28 cpuTime=462.62 mem=35M177
713.16
713.16 search
713.16 run=22 nbConstraintChecks=548890377 nbValidityChecks=1143181248 nbPropagations=20738293 nbRevisions=232507890
713.16 nbUselessRevisions=181019091 nbAssignments=538047 nbFailedAssignments=313213 nbBacktracks=224433
713.16 nbVisitedNodes=1004102 nbRestartNogoods=250
713.16 => wckTime=711.5 cpuTime=710.56 mem=35M177
1048.76
1048.76 search
1048.76 run=23 nbConstraintChecks=810030168 nbValidityChecks=1685132211 nbPropagations=30821133 nbRevisions=344949628
1048.76 nbUselessRevisions=268550244 nbAssignments=800166 nbFailedAssignments=463093 nbBacktracks=336660
1048.76 nbVisitedNodes=1491494 nbRestartNogoods=260
1048.76 => wckTime=1047.1 cpuTime=1045.83 mem=35M177
1559.30
1559.30 search
1559.30 run=24 nbConstraintChecks=1206492815 nbValidityChecks=2514776525 nbPropagations=45858291 nbRevisions=512537546
1559.30 nbUselessRevisions=398938395 nbAssignments=1200052 nbFailedAssignments=694634 nbBacktracks=505002
1559.30 nbVisitedNodes=2234159 nbRestartNogoods=276
1559.30 => wckTime=1557.641 cpuTime=1555.86 mem=35M177
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-196104-1168118992 -o ROOT/results/node61/solver-196104-1168118992 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196104-1168118992/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.93 1.99 1.92 4/74 20314
/proc/meminfo: memFree=991624/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=47976 CPUtime=0
/proc/20313/stat : 20313 (java) D 20311 20313 19762 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 160297081 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20313/statm: 11994 972 769 14 0 1707 0
[startup+0.103747 s]
/proc/loadavg: 1.93 1.99 1.92 4/74 20314
/proc/meminfo: memFree=991624/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=914988 CPUtime=0.09
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 2978 0 1 0 7 2 0 0 17 0 8 0 160297081 936947712 2724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20313/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511819 s]
/proc/loadavg: 1.93 1.99 1.92 4/74 20314
/proc/meminfo: memFree=991624/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915328 CPUtime=0.48
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 7312 0 1 0 43 5 0 0 18 0 8 0 160297081 937295872 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20313/statm: 228832 7051 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33496 s]
/proc/loadavg: 1.93 1.99 1.92 4/81 20321
/proc/meminfo: memFree=924496/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915328 CPUtime=1.3
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 19107 0 1 0 119 11 0 0 24 0 8 0 160297081 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20313/statm: 228832 18845 2160 14 0 215302 0
[pid=20313/tid=20315] ppid=20311 vsize=915328 CPUtime=0.06
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 2644 0 0 0 5 1 0 0 17 0 8 0 160297085 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915328 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915328 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160297086 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915328 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915328 CPUtime=0.1
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 160297089 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915328 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915328 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98926 s]
/proc/loadavg: 1.93 1.99 1.92 3/81 20321
/proc/meminfo: memFree=908688/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=2.94
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23397 0 1 0 280 14 0 0 25 0 8 0 160297081 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20313/statm: 228854 23133 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 17 0 8 0 160297085 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.21
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 371 0 0 0 20 1 0 0 15 0 8 0 160297089 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915416
[startup+6.27583 s]
/proc/loadavg: 1.93 1.99 1.92 3/81 20321
/proc/meminfo: memFree=908432/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=6.2
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23413 0 1 0 605 15 0 0 25 0 8 0 160297081 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20313/statm: 228854 23146 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 17 0 8 0 160297085 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.24
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 160297089 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915416
[startup+12.771 s]
/proc/loadavg: 1.86 1.97 1.91 3/88 20392
/proc/meminfo: memFree=1115616/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=12.65
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23417 0 1 0 1250 15 0 0 25 0 8 0 160297081 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23149 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915416
[startup+25.6312 s]
/proc/loadavg: 1.89 1.97 1.91 3/88 20392
/proc/meminfo: memFree=1106600/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=25.5
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23417 0 1 0 2534 16 0 0 25 0 8 0 160297081 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23149 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915416
[startup+51.2437 s]
/proc/loadavg: 1.92 1.97 1.91 3/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=51.07
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 5091 16 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915416
[startup+102.499 s]
/proc/loadavg: 1.97 1.97 1.91 3/88 20392
/proc/meminfo: memFree=1106856/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=102.28
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 10212 16 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915416
[startup+162.527 s]
/proc/loadavg: 2.03 1.99 1.92 3/88 20392
/proc/meminfo: memFree=1106856/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=162.25
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 16209 16 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 915416
[startup+1483.62 s]
/proc/loadavg: 2.08 2.05 1.98 3/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=1481.97
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 148179 18 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) R 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 915416
[startup+1543.68 s]
/proc/loadavg: 2.03 2.03 1.98 3/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=1541.97
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 154179 18 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 915416
[startup+1603.78 s]
/proc/loadavg: 2.01 2.03 1.98 3/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=1602.02
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 160184 18 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 915416
[startup+1663.88 s]
/proc/loadavg: 2.00 2.02 1.98 3/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=1662.04
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 166186 18 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 915416
[startup+1723.98 s]
/proc/loadavg: 2.16 2.05 1.99 4/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=1722.08
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 172190 18 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 915416
[startup+1784.07 s]
/proc/loadavg: 2.06 2.04 1.99 3/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=1782.12
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 178194 18 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.99 s]
/proc/loadavg: 2.04 2.03 1.99 3/88 20392
/proc/meminfo: memFree=1106664/2055920 swapFree=4192812/4192956
[pid=20313] ppid=20311 vsize=915416 CPUtime=1800.01
/proc/20313/stat : 20313 (java) R 20311 20313 19762 0 -1 0 23419 0 1 0 179983 18 0 0 25 0 8 0 160297081 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20313/statm: 228854 23150 2531 14 0 215324 0
[pid=20313/tid=20315] ppid=20311 vsize=915416 CPUtime=0.17
/proc/20313/task/20315/stat : 20315 (java) S 20311 20313 19762 0 -1 64 6415 0 0 0 15 2 0 0 16 0 8 0 160297085 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20316] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20316/stat : 20316 (java) S 20311 20313 19762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20317] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20317/stat : 20317 (java) S 20311 20313 19762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160297086 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20318] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20318/stat : 20318 (java) S 20311 20313 19762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20319] ppid=20311 vsize=915416 CPUtime=0.25
/proc/20313/task/20319/stat : 20319 (java) S 20311 20313 19762 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20313/tid=20320] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20320/stat : 20320 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20313/tid=20321] ppid=20311 vsize=915416 CPUtime=0
/proc/20313/task/20321/stat : 20321 (java) S 20311 20313 19762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160297089 937385984 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.02
CPU time (s): 1800.05
CPU user time (s): 1799.85
CPU system time (s): 0.202969
CPU usage (%): 99.8908
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
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= 23436
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37532
involuntary context switches= 11138
runsolver used 2.07069 s user time and 5.9231 s system time
The end
Begin job on node61 on Sat Jan 6 21:29:52 UTC 2007
IDJOB= 196104
IDBENCH= 3326
FILE ID= node61/196104-1168118992
PBS_JOBID= 3477425
Free space on /tmp= 66486 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196104-1168118992/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-196104-1168118992 -o ROOT/results/node61/solver-196104-1168118992 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196104-1168118992/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5033d771e027bd5d4b574c909374a3f1
RANDOM SEED= 466970879
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.259
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.259
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: 992104 kB
Buffers: 56516 kB
Cached: 686452 kB
SwapCached: 0 kB
Active: 411356 kB
Inactive: 566700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 992104 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4464 kB
Writeback: 0 kB
Mapped: 246392 kB
Slab: 70908 kB
Committed_AS: 3438736 kB
PageTables: 2184 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= 66504 MiB
End job on node61 on Sat Jan 6 21:59:55 UTC 2007