0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/215107-1168077822/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.47 nbVariables=1064 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.173 cpuTime=0.13 mem=8M869
0.47
0.47 predicates being loaded...
0.47
0.47 constraints being loaded...
1.79 nbConstraints=8357 nbConvertedConstraints=7060 nbConvertConstraintsChecks=65560 nbExtensionStructures=2
1.79 nbSharedExtensionStructures=7058 nbConflictsStructures=4 nbSharedConflictsStructures=8353
1.79 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2 nbSharedEvaluationManagers=1295 maxDegree=168
1.79 maxArity=16
1.79 => wckTime=1.498 cpuTime=1.3 mem=42M816
1.91
1.91 solver IterativeSystematicSolver being built...
2.25 => wckTime=1.958 cpuTime=1.58 mem=21M88
2.30
2.30 preprocessing
2.30 nbConstraintChecks=0 nbPropagations=1064 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.30 detectedInconsistency=no
2.30 => wckTime=0.038 cpuTime=0.03 mem=23M91
2.75
2.75 search
2.75 run=0 nbConstraintChecks=211434 nbValidityChecks=299 nbPropagations=10270 nbRevisions=135080
2.75 nbUselessRevisions=124995 nbAssignments=117 nbFailedAssignments=37 nbBacktracks=10 nbVisitedNodes=158
2.75 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.75 => wckTime=0.495 cpuTime=0.45 mem=23M91
3.25
3.25 search
3.25 run=1 nbConstraintChecks=422542 nbValidityChecks=6245 nbPropagations=29370 nbRevisions=407263
3.25 nbUselessRevisions=377335 nbAssignments=257 nbFailedAssignments=76 nbBacktracks=33 nbVisitedNodes=340
3.25 nbRestartNogoods=33 mapSize=27 nbInferences=2 nbTooLargeKeys=0
3.25 => wckTime=0.998 cpuTime=0.95 mem=23M91
3.65
3.65 search
3.65 run=2 nbConstraintChecks=676720 nbValidityChecks=11904 nbPropagations=59614 nbRevisions=845066
3.65 nbUselessRevisions=783240 nbAssignments=388 nbFailedAssignments=120 nbBacktracks=55 nbVisitedNodes=519
3.65 nbRestartNogoods=54 mapSize=45 nbInferences=2 nbTooLargeKeys=0
3.65 => wckTime=1.393 cpuTime=1.34 mem=23M91
4.25
4.25 search
4.25 run=3 nbConstraintChecks=966265 nbValidityChecks=16954 nbPropagations=102730 nbRevisions=1472664
4.25 nbUselessRevisions=1364964 nbAssignments=553 nbFailedAssignments=173 nbBacktracks=98 nbVisitedNodes=739
4.25 nbRestartNogoods=84 mapSize=85 nbInferences=2 nbTooLargeKeys=0
4.25 => wckTime=1.994 cpuTime=1.93 mem=24M93
4.85
4.85 search
4.85 run=4 nbConstraintChecks=1337990 nbValidityChecks=26314 nbPropagations=162610 nbRevisions=2345832
4.85 nbUselessRevisions=2174257 nbAssignments=746 nbFailedAssignments=237 nbBacktracks=160 nbVisitedNodes=1001
4.85 nbRestartNogoods=98 mapSize=136 nbInferences=2 nbTooLargeKeys=0
4.85 => wckTime=2.593 cpuTime=2.52 mem=24M93
5.72
5.72 search
5.72 run=5 nbConstraintChecks=1797229 nbValidityChecks=33656 nbPropagations=243206 nbRevisions=3521117
5.72 nbUselessRevisions=3263386 nbAssignments=977 nbFailedAssignments=322 nbBacktracks=242 nbVisitedNodes=1320
5.72 nbRestartNogoods=115 mapSize=212 nbInferences=2 nbTooLargeKeys=0
5.72 => wckTime=3.467 cpuTime=3.39 mem=24M93
6.65
6.65 search
6.65 run=6 nbConstraintChecks=2430780 nbValidityChecks=50253 nbPropagations=353400 nbRevisions=5122875
6.65 nbUselessRevisions=4747577 nbAssignments=1270 nbFailedAssignments=432 nbBacktracks=366 nbVisitedNodes=1731
6.65 nbRestartNogoods=126 mapSize=324 nbInferences=2 nbTooLargeKeys=0
6.65 => wckTime=4.397 cpuTime=4.32 mem=24M93
8.20
8.20 search
8.20 run=7 nbConstraintChecks=3368946 nbValidityChecks=66938 nbPropagations=506903 nbRevisions=7348480
8.20 nbUselessRevisions=6809266 nbAssignments=1695 nbFailedAssignments=602 nbBacktracks=556 nbVisitedNodes=2342
8.20 nbRestartNogoods=130 mapSize=500 nbInferences=10 nbTooLargeKeys=0
8.20 => wckTime=5.95 cpuTime=5.85 mem=24M93
10.33
10.33 search
10.33 run=8 nbConstraintChecks=4717395 nbValidityChecks=105008 nbPropagations=724099 nbRevisions=10487519
10.33 nbUselessRevisions=9716419 nbAssignments=2250 nbFailedAssignments=835 nbBacktracks=828 nbVisitedNodes=3151
10.33 nbRestartNogoods=138 mapSize=749 nbInferences=12 nbTooLargeKeys=0
10.33 => wckTime=8.075 cpuTime=7.97 mem=24M93
13.42
13.42 search
13.42 run=9 nbConstraintChecks=6644893 nbValidityChecks=141073 nbPropagations=1030576 nbRevisions=14911526
13.42 nbUselessRevisions=13813470 nbAssignments=3081 nbFailedAssignments=1179 nbBacktracks=1212 nbVisitedNodes=4369
13.42 nbRestartNogoods=139 mapSize=1101 nbInferences=32 nbTooLargeKeys=0
13.42 => wckTime=11.167 cpuTime=11.06 mem=25M94
17.26
17.26 search
17.26 run=10 nbConstraintChecks=9016141 nbValidityChecks=213791 nbPropagations=1449471 nbRevisions=20949422
17.26 nbUselessRevisions=19404634 nbAssignments=4117 nbFailedAssignments=1562 nbBacktracks=1797 nbVisitedNodes=5878
17.26 nbRestartNogoods=170 mapSize=1571 nbInferences=68 nbTooLargeKeys=0
17.26 => wckTime=15.005 cpuTime=14.88 mem=25M94
22.95
22.95 search
22.95 run=11 nbConstraintChecks=12569524 nbValidityChecks=280543 nbPropagations=2032087 nbRevisions=29354314
22.95 nbUselessRevisions=27188054 nbAssignments=5671 nbFailedAssignments=2170 nbBacktracks=2696 nbVisitedNodes=8135
22.95 nbRestartNogoods=171 mapSize=2268 nbInferences=91 nbTooLargeKeys=0
22.95 => wckTime=20.691 cpuTime=20.56 mem=26M96
31.22
31.22 search
31.22 run=12 nbConstraintChecks=17797485 nbValidityChecks=444438 nbPropagations=2862152 nbRevisions=41306598
31.22 nbUselessRevisions=38253834 nbAssignments=7831 nbFailedAssignments=2968 nbBacktracks=3998 nbVisitedNodes=11262
31.22 nbRestartNogoods=174 mapSize=3188 nbInferences=105 nbTooLargeKeys=0
31.22 => wckTime=28.967 cpuTime=28.83 mem=27M97
42.29
42.29 search
42.29 run=13 nbConstraintChecks=25091889 nbValidityChecks=593114 nbPropagations=4030800 nbRevisions=58143840
42.29 nbUselessRevisions=53845250 nbAssignments=11032 nbFailedAssignments=4153 nbBacktracks=5947 nbVisitedNodes=15869
42.29 nbRestartNogoods=193 mapSize=4542 nbInferences=122 nbTooLargeKeys=0
42.29 => wckTime=40.037 cpuTime=39.9 mem=29M100
61.67
61.67 search
61.67 run=14 nbConstraintChecks=37078030 nbValidityChecks=971036 nbPropagations=5764583 nbRevisions=83075390
61.67 nbUselessRevisions=76922677 nbAssignments=15919 nbFailedAssignments=6053 nbBacktracks=8868 nbVisitedNodes=23013
61.67 nbRestartNogoods=228 mapSize=6766 nbInferences=141 nbTooLargeKeys=0
61.67 => wckTime=59.418 cpuTime=59.26 mem=32M105
85.10
85.10 search
85.10 run=15 nbConstraintChecks=51477100 nbValidityChecks=1319335 nbPropagations=8170248 nbRevisions=117718482
85.10 nbUselessRevisions=108999714 nbAssignments=22598 nbFailedAssignments=8258 nbBacktracks=13247
85.10 nbVisitedNodes=32452 nbRestartNogoods=251 mapSize=9460 nbInferences=180 nbTooLargeKeys=0
85.10 => wckTime=82.843 cpuTime=82.68 mem=36M111
124.36
124.36 search
124.36 run=16 nbConstraintChecks=80944760 nbValidityChecks=2126646 nbPropagations=11938704 nbRevisions=172164130
124.36 nbUselessRevisions=159429967 nbAssignments=33400 nbFailedAssignments=12449 nbBacktracks=19853
124.36 nbVisitedNodes=48785 nbRestartNogoods=287 mapSize=14990 nbInferences=180 nbTooLargeKeys=0
124.36 => wckTime=122.103 cpuTime=121.91 mem=42M121
160.41
160.41 search
160.41 run=17 nbConstraintChecks=101021308 nbValidityChecks=2812139 nbPropagations=16660065 nbRevisions=240396298
160.41 nbUselessRevisions=222644003 nbAssignments=45852 nbFailedAssignments=14969 nbBacktracks=29705
160.41 nbVisitedNodes=64943 nbRestartNogoods=288 mapSize=18688 nbInferences=189 nbTooLargeKeys=0
160.41 => wckTime=158.153 cpuTime=157.94 mem=51M134
253.71
253.71 search
253.71 run=18 nbConstraintChecks=170701559 nbValidityChecks=3758365 nbPropagations=24379762 nbRevisions=353068636
253.71 nbUselessRevisions=327070180 nbAssignments=72347 nbFailedAssignments=26612 nbBacktracks=44485
253.71 nbVisitedNodes=104920 nbRestartNogoods=296 mapSize=32075 nbInferences=221 nbTooLargeKeys=0
253.71 => wckTime=251.454 cpuTime=251.18 mem=63M153
386.43
386.43 search
386.43 run=19 nbConstraintChecks=252582907 nbValidityChecks=6786339 nbPropagations=35778459 nbRevisions=521083911
386.43 nbUselessRevisions=482901975 nbAssignments=107342 nbFailedAssignments=38722 nbBacktracks=66668
386.43 nbVisitedNodes=156202 nbRestartNogoods=329 mapSize=48218 nbInferences=886 nbTooLargeKeys=0
386.43 => wckTime=384.177 cpuTime=383.71 mem=65M278
585.79
585.79 search
585.79 run=20 nbConstraintChecks=391306275 nbValidityChecks=8973070 nbPropagations=53525782 nbRevisions=780399347
585.79 nbUselessRevisions=723288751 nbAssignments=162383 nbFailedAssignments=60146 nbBacktracks=99923
585.79 nbVisitedNodes=237764 nbRestartNogoods=349 mapSize=74584 nbInferences=1213 nbTooLargeKeys=0
585.79 => wckTime=583.53 cpuTime=582.95 mem=94M847
920.04
920.04 search
920.04 run=21 nbConstraintChecks=610684044 nbValidityChecks=16499905 nbPropagations=81458041 nbRevisions=1188409299
920.04 nbUselessRevisions=1101505153 nbAssignments=245365 nbFailedAssignments=92770 nbBacktracks=149801
920.04 nbVisitedNodes=361884 nbRestartNogoods=370 mapSize=115545 nbInferences=1652 nbTooLargeKeys=0
920.04 => wckTime=917.782 cpuTime=916.88 mem=127M196
1309.53
1309.53 search
1309.53 run=22 nbConstraintChecks=890077973 nbValidityChecks=20746622 nbPropagations=122486488 nbRevisions=1782760487
1309.53 nbUselessRevisions=1652222176 nbAssignments=360667 nbFailedAssignments=133199 nbBacktracks=224624
1309.53 nbVisitedNodes=529871 nbRestartNogoods=395 mapSize=168180 nbInferences=1652 nbTooLargeKeys=0
1309.53 => wckTime=1307.273 cpuTime=1305.88 mem=168M773
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-215107-1168077822 -o ROOT/results/node48/solver-215107-1168077822 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215107-1168077822/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.14 1.01 1.00 4/65 31867
/proc/meminfo: memFree=1646816/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=1784 CPUtime=0
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156180921 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31866/statm: 0 0 0 0 0 0 0
[startup+0.106021 s]
/proc/loadavg: 1.14 1.01 1.00 4/65 31867
/proc/meminfo: memFree=1646816/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=914988 CPUtime=0.09
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 3078 0 1 0 8 1 0 0 16 0 8 0 156180921 936947712 2824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31866/statm: 228747 2824 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.5181 s]
/proc/loadavg: 1.14 1.01 1.00 4/65 31867
/proc/meminfo: memFree=1646816/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915328 CPUtime=0.49
/proc/31866/stat : 31866 (java) S 31864 31866 31205 0 -1 0 6912 0 1 0 45 4 0 0 16 0 8 0 156180921 937295872 6651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31866/statm: 228832 6651 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34613 s]
/proc/loadavg: 1.14 1.01 1.00 2/72 31874
/proc/meminfo: memFree=1587816/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915628 CPUtime=1.31
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 17124 0 1 0 112 19 0 0 16 0 8 0 156180921 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31866/statm: 228907 16862 2178 14 0 215377 0
[pid=31866/tid=31868] ppid=31864 vsize=915628 CPUtime=0.02
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 513 0 0 0 2 0 0 0 16 0 8 0 156180925 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915628 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156180925 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915628 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156180925 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915628 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915628 CPUtime=0.17
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 426 0 0 0 17 0 0 0 16 0 8 0 156180928 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915628 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915628 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 156180928 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915628
[startup+2.98429 s]
/proc/loadavg: 1.13 1.01 1.00 2/72 31874
/proc/meminfo: memFree=1571432/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=2.94
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 21568 0 1 0 251 43 0 0 17 0 8 0 156180921 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31866/statm: 228932 21302 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.15
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 4458 0 0 0 14 1 0 0 15 0 8 0 156180925 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.28
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 494 0 0 0 28 0 0 0 15 0 8 0 156180928 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915728
[startup+6.26358 s]
/proc/loadavg: 1.13 1.01 1.00 2/72 31874
/proc/meminfo: memFree=1571304/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=6.21
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 21574 0 1 0 577 44 0 0 18 0 8 0 156180921 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074042150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 21306 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.15
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 4458 0 0 0 14 1 0 0 17 0 8 0 156180925 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.29
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 498 0 0 0 29 0 0 0 16 0 8 0 156180928 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 21306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915728
[startup+12.7472 s]
/proc/loadavg: 1.11 1.01 1.00 2/72 31874
/proc/meminfo: memFree=1571312/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=12.68
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 21590 0 1 0 1224 44 0 0 21 0 8 0 156180921 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074066083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 21317 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.15
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 4458 0 0 0 14 1 0 0 16 0 8 0 156180925 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.32
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 510 0 0 0 31 1 0 0 16 0 8 0 156180928 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 21317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915728
[startup+25.5944 s]
/proc/loadavg: 1.09 1.01 1.00 2/72 31874
/proc/meminfo: memFree=1571312/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=25.52
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 21596 0 1 0 2507 45 0 0 25 0 8 0 156180921 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 21322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.15
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 4458 0 0 0 14 1 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 17 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915728
[startup+51.2857 s]
/proc/loadavg: 1.13 1.02 1.00 2/72 31874
/proc/meminfo: memFree=1571376/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=51.19
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 21597 0 1 0 5074 45 0 0 25 0 8 0 156180921 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 21322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.15
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 4458 0 0 0 14 1 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915728
[startup+102.556 s]
/proc/loadavg: 1.05 1.02 1.00 2/72 31874
/proc/meminfo: memFree=1571440/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=102.43
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 21597 0 1 0 10198 45 0 0 25 0 8 0 156180921 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 21322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.15
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 4458 0 0 0 14 1 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915728
[startup+162.567 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 31874
/proc/meminfo: memFree=1571440/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=162.4
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 21597 0 1 0 16195 45 0 0 25 0 8 0 156180921 937705472 21322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 915728
[startup+1482.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31876
/proc/meminfo: memFree=1430512/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=1481.9
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 56729 0 1 0 148130 60 0 0 25 0 8 0 156180921 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 56450 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.64
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 39586 0 0 0 50 14 0 0 16 0 8 0 156180925 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 915728
[startup+1542.86 s]
/proc/loadavg: 1.06 1.01 1.00 2/72 31876
/proc/meminfo: memFree=1430448/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=1541.87
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 56729 0 1 0 154127 60 0 0 25 0 8 0 156180921 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 56450 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.64
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 39586 0 0 0 50 14 0 0 16 0 8 0 156180925 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 56450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 915728
[startup+1602.88 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 31876
/proc/meminfo: memFree=1390960/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=1601.85
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 66602 0 1 0 160122 63 0 0 25 0 8 0 156180921 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 66322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.78
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 49458 0 0 0 61 17 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 915728
[startup+1662.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31876
/proc/meminfo: memFree=1390960/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=1661.84
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 66602 0 1 0 166120 64 0 0 25 0 8 0 156180921 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 66322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.78
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 49458 0 0 0 61 17 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 915728
[startup+1722.9 s]
/proc/loadavg: 1.04 1.01 1.00 2/72 31876
/proc/meminfo: memFree=1390896/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=1721.81
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 66602 0 1 0 172117 64 0 0 25 0 8 0 156180921 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 66322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.78
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 49458 0 0 0 61 17 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 915728
[startup+1782.91 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 31876
/proc/meminfo: memFree=1390896/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=1781.78
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 66602 0 1 0 178114 64 0 0 25 0 8 0 156180921 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074066107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 66322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.78
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 49458 0 0 0 61 17 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 31876
/proc/meminfo: memFree=1390896/2055920 swapFree=4192812/4192956
[pid=31866] ppid=31864 vsize=915728 CPUtime=1800.06
/proc/31866/stat : 31866 (java) R 31864 31866 31205 0 -1 0 66602 0 1 0 179942 64 0 0 25 0 8 0 156180921 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074039721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31866/statm: 228932 66322 2537 14 0 215402 0
[pid=31866/tid=31868] ppid=31864 vsize=915728 CPUtime=0.78
/proc/31866/task/31868/stat : 31868 (java) S 31864 31866 31205 0 -1 64 49458 0 0 0 61 17 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31869] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31869/stat : 31869 (java) S 31864 31866 31205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31870] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31870/stat : 31870 (java) S 31864 31866 31205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180925 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31871] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31871/stat : 31871 (java) S 31864 31866 31205 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31872] ppid=31864 vsize=915728 CPUtime=0.33
/proc/31866/task/31872/stat : 31872 (java) S 31864 31866 31205 0 -1 64 515 0 0 0 32 1 0 0 16 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31873] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31873/stat : 31873 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31866/tid=31874] ppid=31864 vsize=915728 CPUtime=0
/proc/31866/task/31874/stat : 31874 (java) S 31864 31866 31205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180928 937705472 66322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.3
CPU time (s): 1800.16
CPU user time (s): 1799.47
CPU system time (s): 0.682896
CPU usage (%): 99.9368
Max. virtual memory (cumulated for all children) (KiB): 915768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.682896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66619
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= 37591
involuntary context switches= 40529
runsolver used 1.91471 s user time and 4.47532 s system time
The end
Begin job on node48 on Sat Jan 6 10:03:42 UTC 2007
IDJOB= 215107
IDBENCH= 4976
FILE ID= node48/215107-1168077822
PBS_JOBID= 3476074
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16e2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215107-1168077822/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-215107-1168077822 -o ROOT/results/node48/solver-215107-1168077822 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215107-1168077822/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5c0ce2850f4a99299186b3093e9e8947
RANDOM SEED= 714536627
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.218
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.218
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: 1647296 kB
Buffers: 30088 kB
Cached: 290736 kB
SwapCached: 0 kB
Active: 63864 kB
Inactive: 272300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647296 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3096 kB
Writeback: 0 kB
Mapped: 25516 kB
Slab: 58504 kB
Committed_AS: 3094484 kB
PageTables: 1388 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= 66559 MiB
End job on node48 on Sat Jan 6 10:33:44 UTC 2007