0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/194357-1168099876/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.107 cpuTime=0.1 mem=6M951
0.43
0.43 relations being loaded...
0.59
0.59 constraints being loaded...
0.74 nbConstraints=471 nbRelationTypes=471 nbExtensionStructures=471 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=471 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2540 maxDegree=27
0.74 maxArity=2
0.74 => wckTime=0.414 cpuTime=0.31 mem=17M695
0.79
0.79 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.625 cpuTime=0.46 mem=15M587
1.02
1.02 preprocessing
1.02 nbConstraintChecks=105368 nbPropagations=1162 nbRevisions=9787 nbUselessRevisions=8340 nbSingletonTests=59
1.02 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.02 => wckTime=0.061 cpuTime=0.03 mem=15M587
1.05
1.05 search
1.05 run=0 nbConstraintChecks=45163 nbPropagations=1753 nbRevisions=17141 nbUselessRevisions=14583 nbAssignments=32
1.05 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.094 cpuTime=0.05 mem=15M587
1.07
1.07 search
1.07 run=1 nbConstraintChecks=106349 nbPropagations=4246 nbRevisions=44117 nbUselessRevisions=37411
1.07 nbAssignments=69 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=103 nbRestartNogoods=3 mapSize=23
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.116 cpuTime=0.06 mem=15M587
1.09
1.09 search
1.09 run=2 nbConstraintChecks=187007 nbPropagations=7779 nbRevisions=85548 nbUselessRevisions=72181
1.09 nbAssignments=122 nbFailedAssignments=36 nbBacktracks=50 nbVisitedNodes=188 nbRestartNogoods=8 mapSize=44
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.134 cpuTime=0.08 mem=15M587
1.11
1.11 search
1.11 run=3 nbConstraintChecks=297561 nbPropagations=12590 nbRevisions=145867 nbUselessRevisions=122521
1.11 nbAssignments=186 nbFailedAssignments=58 nbBacktracks=84 nbVisitedNodes=292 nbRestartNogoods=12 mapSize=74
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.156 cpuTime=0.1 mem=15M587
1.15
1.15 search
1.15 run=4 nbConstraintChecks=459028 nbPropagations=19346 nbRevisions=236015 nbUselessRevisions=197737
1.15 nbAssignments=291 nbFailedAssignments=99 nbBacktracks=139 nbVisitedNodes=464 nbRestartNogoods=13 mapSize=121
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.196 cpuTime=0.13 mem=15M587
1.20
1.20 search
1.20 run=5 nbConstraintChecks=674954 nbPropagations=28713 nbRevisions=365999 nbUselessRevisions=305865
1.20 nbAssignments=433 nbFailedAssignments=153 nbBacktracks=218 nbVisitedNodes=705 nbRestartNogoods=14 mapSize=190
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.243 cpuTime=0.17 mem=15M587
1.26
1.26 search
1.26 run=6 nbConstraintChecks=1002821 nbPropagations=42091 nbRevisions=555681 nbUselessRevisions=462903
1.26 nbAssignments=633 nbFailedAssignments=226 nbBacktracks=335 nbVisitedNodes=1042 nbRestartNogoods=16 mapSize=281
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.305 cpuTime=0.24 mem=15M587
1.36
1.36 search
1.36 run=7 nbConstraintChecks=1533845 nbPropagations=61827 nbRevisions=849847 nbUselessRevisions=706986
1.36 nbAssignments=949 nbFailedAssignments=361 nbBacktracks=505 nbVisitedNodes=1595 nbRestartNogoods=22 mapSize=427
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.404 cpuTime=0.33 mem=15M587
1.50
1.50 search
1.50 run=8 nbConstraintChecks=2317789 nbPropagations=90432 nbRevisions=1283369 nbUselessRevisions=1065271
1.50 nbAssignments=1396 nbFailedAssignments=541 nbBacktracks=762 nbVisitedNodes=2370 nbRestartNogoods=26
1.50 mapSize=649 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.544 cpuTime=0.47 mem=15M587
1.72
1.72 search
1.72 run=9 nbConstraintChecks=3468112 nbPropagations=132429 nbRevisions=1928405 nbUselessRevisions=1598239
1.72 nbAssignments=2058 nbFailedAssignments=807 nbBacktracks=1146 nbVisitedNodes=3522 nbRestartNogoods=32
1.72 mapSize=990 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.762 cpuTime=0.66 mem=15M587
1.74
1.74 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=15M587)
1.96
1.96 search
1.96 run=10 nbConstraintChecks=4887597 nbPropagations=191748 nbRevisions=2845203 nbUselessRevisions=2355643
1.96 nbAssignments=2979 nbFailedAssignments=1142 nbBacktracks=1723 nbVisitedNodes=5086 nbRestartNogoods=35
1.96 => wckTime=1.001 cpuTime=0.89 mem=15M587
2.33
2.33 search
2.33 run=11 nbConstraintChecks=7305153 nbPropagations=279268 nbRevisions=4204662 nbUselessRevisions=3476390
2.33 nbAssignments=4385 nbFailedAssignments=1673 nbBacktracks=2587 nbVisitedNodes=7507 nbRestartNogoods=40
2.33 => wckTime=1.379 cpuTime=1.26 mem=15M587
2.87
2.87 search
2.87 run=12 nbConstraintChecks=10743030 nbPropagations=407369 nbRevisions=6202392 nbUselessRevisions=5122791
2.87 nbAssignments=6494 nbFailedAssignments=2472 nbBacktracks=3885 nbVisitedNodes=11099 nbRestartNogoods=45
2.87 => wckTime=1.917 cpuTime=1.8 mem=15M587
3.61
3.61 search
3.61 run=13 nbConstraintChecks=15183548 nbPropagations=593409 nbRevisions=9121044 nbUselessRevisions=7537351
3.61 nbAssignments=9651 nbFailedAssignments=3674 nbBacktracks=5831 nbVisitedNodes=16500 nbRestartNogoods=52
3.61 => wckTime=2.659 cpuTime=2.53 mem=15M587
4.89
4.89 search
4.89 run=14 nbConstraintChecks=23388079 nbPropagations=875587 nbRevisions=13623305 nbUselessRevisions=11266710
4.89 nbAssignments=14632 nbFailedAssignments=5724 nbBacktracks=8751 nbVisitedNodes=25172 nbRestartNogoods=57
4.89 => wckTime=3.935 cpuTime=3.8 mem=15M587
6.67
6.67 search
6.67 run=15 nbConstraintChecks=34851764 nbPropagations=1293163 nbRevisions=20270698 nbUselessRevisions=16764593
6.67 nbAssignments=21680 nbFailedAssignments=8365 nbBacktracks=13129 nbVisitedNodes=37118 nbRestartNogoods=64
6.67 => wckTime=5.713 cpuTime=5.56 mem=15M587
9.53
9.53 search
9.53 run=16 nbConstraintChecks=53321728 nbPropagations=1926469 nbRevisions=30440025 nbUselessRevisions=25185453
9.53 nbAssignments=32596 nbFailedAssignments=12704 nbBacktracks=19698 nbVisitedNodes=56094 nbRestartNogoods=76
9.53 => wckTime=8.574 cpuTime=8.4 mem=16M563
13.48
13.48 search
13.48 run=17 nbConstraintChecks=77470567 nbPropagations=2862660 nbRevisions=45410554 nbUselessRevisions=37591430
13.48 nbAssignments=48566 nbFailedAssignments=18814 nbBacktracks=29550 nbVisitedNodes=83469 nbRestartNogoods=83
13.48 => wckTime=12.523 cpuTime=12.31 mem=16M563
19.48
19.48 search
19.48 run=18 nbConstraintChecks=115761670 nbPropagations=4252590 nbRevisions=67522972 nbUselessRevisions=55880486
19.48 nbAssignments=72053 nbFailedAssignments=27515 nbBacktracks=44328 nbVisitedNodes=123335 nbRestartNogoods=92
19.48 => wckTime=18.523 cpuTime=18.25 mem=16M563
29.25
29.25 search
29.25 run=19 nbConstraintChecks=179807212 nbPropagations=6367723 nbRevisions=101307954 nbUselessRevisions=83788169
29.25 nbAssignments=108489 nbFailedAssignments=41773 nbBacktracks=66496 nbVisitedNodes=186094 nbRestartNogoods=101
29.25 => wckTime=28.292 cpuTime=27.93 mem=16M563
43.10
43.10 search
43.10 run=20 nbConstraintChecks=266272012 nbPropagations=9531921 nbRevisions=152067882 nbUselessRevisions=125809716
43.10 nbAssignments=163342 nbFailedAssignments=63363 nbBacktracks=99748 nbVisitedNodes=281095 nbRestartNogoods=115
43.10 => wckTime=42.149 cpuTime=41.65 mem=16M563
62.49
62.49 search
62.49 run=21 nbConstraintChecks=387330516 nbPropagations=14185032 nbRevisions=226224862 nbUselessRevisions=187148685
62.49 nbAssignments=242509 nbFailedAssignments=92640 nbBacktracks=149626 nbVisitedNodes=415590 nbRestartNogoods=127
62.49 => wckTime=61.537 cpuTime=60.86 mem=16M563
95.26
95.26 search
95.26 run=22 nbConstraintChecks=600435782 nbPropagations=21294079 nbRevisions=340531156 nbUselessRevisions=281803814
95.26 nbAssignments=366950 nbFailedAssignments=142251 nbBacktracks=224445 nbVisitedNodes=631845 nbRestartNogoods=137
95.26 => wckTime=94.301 cpuTime=93.32 mem=16M563
140.67
140.67 search
140.67 run=23 nbConstraintChecks=883850976 nbPropagations=31854554 nbRevisions=509919249 nbUselessRevisions=422073081
140.67 nbAssignments=549186 nbFailedAssignments=212226 nbBacktracks=336677 nbVisitedNodes=943487 nbRestartNogoods=155
140.67 => wckTime=139.719 cpuTime=138.33 mem=16M563
208.19
208.19 search
208.19 run=24 nbConstraintChecks=1306260959 nbPropagations=47588792 nbRevisions=761294808 nbUselessRevisions=630191010
208.19 nbAssignments=822353 nbFailedAssignments=317041 nbBacktracks=505020 nbVisitedNodes=1411767 nbRestartNogoods=164
208.19 => wckTime=207.232 cpuTime=205.23 mem=16M563
318.87
318.87 search
318.87 run=25 nbConstraintChecks=2035068123 nbPropagations=71564848 nbRevisions=1146309876
318.87 nbUselessRevisions=948664615 nbAssignments=1239025 nbFailedAssignments=481190 nbBacktracks=757532
318.87 nbVisitedNodes=2133080 nbRestartNogoods=174
318.87 => wckTime=317.913 cpuTime=314.9 mem=16M563
470.76
470.76 search
470.76 run=26 nbConstraintChecks=2970327370 nbPropagations=107183445 nbRevisions=1717284582
470.76 nbUselessRevisions=1421528345 nbAssignments=1854559 nbFailedAssignments=717946 nbBacktracks=1136302
470.76 nbVisitedNodes=3187656 nbRestartNogoods=184
470.76 => wckTime=469.802 cpuTime=465.39 mem=16M563
718.23
718.23 search
718.23 run=27 nbConstraintChecks=4571701308 nbPropagations=161237174 nbRevisions=2587343922
718.23 nbUselessRevisions=2141788893 nbAssignments=2792602 nbFailedAssignments=1087826 nbBacktracks=1704453
718.23 nbVisitedNodes=4807731 nbRestartNogoods=200
718.23 => wckTime=717.275 cpuTime=710.61 mem=16M563
1068.75
1068.75 search
1068.75 run=28 nbConstraintChecks=6790107710 nbPropagations=242003727 nbRevisions=3883892886
1068.75 nbUselessRevisions=3214981652 nbAssignments=4183903 nbFailedAssignments=1626835 nbBacktracks=2556679
1068.75 nbVisitedNodes=7193404 nbRestartNogoods=220
1068.75 => wckTime=1067.794 cpuTime=1057.92 mem=16M563
1629.29
1629.29 search
1629.29 run=29 nbConstraintChecks=10412717010 nbPropagations=364533220 nbRevisions=5863237008
1629.29 nbUselessRevisions=4854681994 nbAssignments=6304064 nbFailedAssignments=2468645 nbBacktracks=3835020
1629.29 nbVisitedNodes=10863676 nbRestartNogoods=239
1629.29 => wckTime=1628.333 cpuTime=1613.34 mem=16M563
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-194357-1168099876 -o ROOT/results/node6/solver-194357-1168099876 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194357-1168099876/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: 0.31 0.26 0.71 4/88 17243
/proc/meminfo: memFree=1672672/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=1784 CPUtime=0
/proc/17242/stat : 17242 (java) D 17240 17242 17018 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 158383627 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/17242/statm: 446 136 102 14 0 91 0
[startup+0.107034 s]
/proc/loadavg: 0.31 0.26 0.71 4/88 17243
/proc/meminfo: memFree=1672672/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=914988 CPUtime=0.08
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 2957 0 1 0 6 2 0 0 17 0 8 0 158383627 936947712 2703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228747 2703 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515077 s]
/proc/loadavg: 0.31 0.26 0.71 4/88 17243
/proc/meminfo: memFree=1672672/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915328 CPUtime=0.49
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 6721 0 1 0 44 5 0 0 18 0 8 0 158383627 937295872 6460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152820224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228832 6460 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33917 s]
/proc/loadavg: 0.31 0.26 0.71 3/95 17250
/proc/meminfo: memFree=1645032/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1.3
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9643 0 1 0 122 8 0 0 24 0 8 0 158383627 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9381 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.22
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 158383636 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9381 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+2.99136 s]
/proc/loadavg: 0.31 0.26 0.71 3/95 17250
/proc/meminfo: memFree=1644904/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=2.94
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9660 0 1 0 285 9 0 0 25 0 8 0 158383627 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9397 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+6.27075 s]
/proc/loadavg: 0.45 0.29 0.72 3/95 17250
/proc/meminfo: memFree=1644840/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=6.18
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9660 0 1 0 609 9 0 0 25 0 8 0 158383627 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9397 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7605 s]
/proc/loadavg: 0.57 0.31 0.72 3/95 17250
/proc/meminfo: memFree=1644840/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=12.62
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9661 0 1 0 1253 9 0 0 25 0 8 0 158383627 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9398 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.607 s]
/proc/loadavg: 0.89 0.40 0.74 3/95 17250
/proc/meminfo: memFree=1644776/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=25.34
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9661 0 1 0 2525 9 0 0 25 0 8 0 158383627 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9398 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
[startup+51.222 s]
/proc/loadavg: 1.26 0.52 0.78 3/95 17250
/proc/meminfo: memFree=1644840/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=50.72
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9662 0 1 0 5063 9 0 0 25 0 8 0 158383627 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9398 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9398 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) 915460
[startup+102.453 s]
/proc/loadavg: 1.68 0.75 0.84 3/95 17250
/proc/meminfo: memFree=1644840/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=101.48
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9662 0 1 0 10139 9 0 0 25 0 8 0 158383627 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9398 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915460
[startup+162.525 s]
/proc/loadavg: 1.93 0.99 0.91 3/95 17250
/proc/meminfo: memFree=1644712/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=161.01
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 16091 10 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.05
Current children cumulated vsize (KiB) 915460
[startup+1484.16 s]
/proc/loadavg: 2.05 1.99 1.71 3/95 17252
/proc/meminfo: memFree=1643496/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1470.56
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 147037 19 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9400 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.56
Current children cumulated vsize (KiB) 915460
[startup+1544.23 s]
/proc/loadavg: 2.02 1.99 1.73 3/95 17252
/proc/meminfo: memFree=1643432/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1530.09
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 152989 20 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9400 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.09
Current children cumulated vsize (KiB) 915460
[startup+1604.3 s]
/proc/loadavg: 2.00 1.99 1.74 4/95 17252
/proc/meminfo: memFree=1643368/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1589.61
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 158941 20 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9400 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.61
Current children cumulated vsize (KiB) 915460
[startup+1664.37 s]
/proc/loadavg: 2.00 1.99 1.75 3/95 17252
/proc/meminfo: memFree=1643304/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1649.14
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 164893 21 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9400 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.14
Current children cumulated vsize (KiB) 915460
[startup+1724.44 s]
/proc/loadavg: 2.00 1.99 1.77 3/95 17252
/proc/meminfo: memFree=1643176/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1708.65
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 170844 21 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9400 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.65
Current children cumulated vsize (KiB) 915460
[startup+1784.52 s]
/proc/loadavg: 2.00 1.99 1.78 3/95 17252
/proc/meminfo: memFree=1643176/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1768.18
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 176796 22 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17242/statm: 228865 9400 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) S 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.18
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.5 s]
/proc/loadavg: 1.66 1.91 1.76 2/88 17263
/proc/meminfo: memFree=1650080/2055924 swapFree=4165672/4192956
[pid=17242] ppid=17240 vsize=915460 CPUtime=1800.07
/proc/17242/stat : 17242 (java) R 17240 17242 17018 0 -1 0 9664 0 1 0 179985 22 0 0 25 0 8 0 158383627 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17242/statm: 228865 9400 2524 14 0 215335 0
[pid=17242/tid=17244] ppid=17240 vsize=915460 CPUtime=0.03
/proc/17242/task/17244/stat : 17244 (java) R 17240 17242 17018 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17245] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17245/stat : 17245 (java) S 17240 17242 17018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17246] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17246/stat : 17246 (java) S 17240 17242 17018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158383632 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17247] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17247/stat : 17247 (java) S 17240 17242 17018 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17248] ppid=17240 vsize=915460 CPUtime=0.26
/proc/17242/task/17248/stat : 17248 (java) S 17240 17242 17018 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17249] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17249/stat : 17249 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17242/tid=17250] ppid=17240 vsize=915460 CPUtime=0
/proc/17242/task/17250/stat : 17250 (java) S 17240 17242 17018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158383636 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.57
CPU time (s): 1800.14
CPU user time (s): 1799.91
CPU system time (s): 0.229965
CPU usage (%): 99.0956
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.229965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9682
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= 37866
involuntary context switches= 91165
runsolver used 2.77158 s user time and 5.2652 s system time
The end
Begin job on node6 on Sat Jan 6 16:11:20 UTC 2007
IDJOB= 194357
IDBENCH= 3210
FILE ID= node6/194357-1168099876
PBS_JOBID= 3477034
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194357-1168099876/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-194357-1168099876 -o ROOT/results/node6/solver-194357-1168099876 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194357-1168099876/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8e9364a8312392aba5edf6899f972d6b
RANDOM SEED= 917918898
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.240
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.240
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: 2055924 kB
MemFree: 1673152 kB
Buffers: 41000 kB
Cached: 210096 kB
SwapCached: 2476 kB
Active: 136284 kB
Inactive: 156984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1673152 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 53404 kB
Slab: 74244 kB
Committed_AS: 4368500 kB
PageTables: 2400 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= 66530 MiB
End job on node6 on Sat Jan 6 16:41:47 UTC 2007