0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/237468-1168348424/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.61 nbVariables=2704 nbDomainTypes=1 minDomainSize=52 maxDomainSize=52
0.61 => wckTime=0.296 cpuTime=0.21 mem=14M698
0.61
0.61 predicates being loaded...
0.61
0.61 constraints being loaded...
8.38 nbConstraints=69003 nbConvertedConstraints=69003 nbConvertConstraintsChecks=10816 nbExtensionStructures=4
8.38 nbSharedExtensionStructures=68999 nbConflictsStructures=4 nbSharedConflictsStructures=68999
8.38 nbSharedBinaryRepresentations=311 maxDegree=52 maxArity=2
8.38 => wckTime=8.068 cpuTime=7.12 mem=96M654
8.79
8.79 solver IterativeSystematicSolver being built...
9.13 => wckTime=8.82 cpuTime=7.37 mem=85M759
13.85
13.85 preprocessing
13.85 nbConstraintChecks=3049860 nbPropagations=88121 nbRevisions=89847 nbUselessRevisions=6434 nbSingletonTests=3050
13.85 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
13.85 => wckTime=4.689 cpuTime=4.61 mem=85M759
14.86
14.86 search
14.86 run=0 nbConstraintChecks=276164 nbPropagations=94837 nbRevisions=96611 nbUselessRevisions=6563
14.86 nbAssignments=167 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=188 nbRestartNogoods=0 mapSize=10
14.86 nbInferences=0 nbTooLargeKeys=0
14.86 => wckTime=5.709 cpuTime=5.6 mem=88M785
15.38
15.38 search
15.38 run=1 nbConstraintChecks=551327 nbPropagations=196434 nbRevisions=200012 nbUselessRevisions=13234
15.38 nbAssignments=344 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=393 nbRestartNogoods=4 mapSize=25
15.38 nbInferences=0 nbTooLargeKeys=0
15.38 => wckTime=6.233 cpuTime=6.12 mem=91M810
15.92
15.92 search
15.92 run=2 nbConstraintChecks=826754 nbPropagations=304856 nbRevisions=310277 nbUselessRevisions=20018
15.92 nbAssignments=534 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=623 nbRestartNogoods=7 mapSize=47
15.92 nbInferences=0 nbTooLargeKeys=0
15.92 => wckTime=6.774 cpuTime=6.65 mem=94M836
16.49
16.49 search
16.49 run=3 nbConstraintChecks=1102575 nbPropagations=420185 nbRevisions=427490 nbUselessRevisions=26919
16.49 nbAssignments=743 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=887 nbRestartNogoods=12 mapSize=80
16.49 nbInferences=1 nbTooLargeKeys=0
16.49 => wckTime=7.347 cpuTime=7.22 mem=97M105
17.11
17.11 search
17.11 run=4 nbConstraintChecks=1378811 nbPropagations=542555 nbRevisions=551777 nbUselessRevisions=33935
17.11 nbAssignments=982 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=1205 nbRestartNogoods=16 mapSize=131
17.11 nbInferences=6 nbTooLargeKeys=0
17.11 => wckTime=7.966 cpuTime=7.83 mem=100M499
17.82
17.82 search
17.82 run=5 nbConstraintChecks=1655835 nbPropagations=672195 nbRevisions=683346 nbUselessRevisions=41069
17.82 nbAssignments=1269 nbFailedAssignments=157 nbBacktracks=206 nbVisitedNodes=1607 nbRestartNogoods=20
17.82 mapSize=206 nbInferences=23 nbTooLargeKeys=0
17.82 => wckTime=8.67 cpuTime=8.53 mem=105M544
18.65
18.65 search
18.65 run=6 nbConstraintChecks=1933826 nbPropagations=809426 nbRevisions=822507 nbUselessRevisions=48321
18.65 nbAssignments=1627 nbFailedAssignments=232 nbBacktracks=320 nbVisitedNodes=2137 nbRestartNogoods=22
18.66 mapSize=320 nbInferences=45 nbTooLargeKeys=0
18.66 => wckTime=9.509 cpuTime=9.32 mem=73M548
19.64
19.64 search
19.64 run=7 nbConstraintChecks=2213165 nbPropagations=954747 nbRevisions=969722 nbUselessRevisions=55695
19.64 nbAssignments=2094 nbFailedAssignments=339 nbBacktracks=490 nbVisitedNodes=2860 nbRestartNogoods=28
19.64 mapSize=490 nbInferences=87 nbTooLargeKeys=0
19.64 => wckTime=10.497 cpuTime=10.29 mem=80M560
20.92
20.92 search
20.92 run=8 nbConstraintChecks=2494693 nbPropagations=1108941 nbRevisions=1125697 nbUselessRevisions=63195
20.92 nbAssignments=2731 nbFailedAssignments=490 nbBacktracks=746 nbVisitedNodes=3882 nbRestartNogoods=36
20.92 mapSize=746 nbInferences=170 nbTooLargeKeys=0
20.92 => wckTime=11.77 cpuTime=11.55 mem=90M229
22.63
22.63 search
22.63 run=9 nbConstraintChecks=2779789 nbPropagations=1273291 nbRevisions=1291568 nbUselessRevisions=70821
22.63 nbAssignments=3637 nbFailedAssignments=708 nbBacktracks=1130 nbVisitedNodes=5380 nbRestartNogoods=43
22.63 mapSize=1130 nbInferences=326 nbTooLargeKeys=0
22.63 => wckTime=13.487 cpuTime=13.26 mem=105M498
25.18
25.18 search
25.18 run=10 nbConstraintChecks=3070148 nbPropagations=1449797 nbRevisions=1469052 nbUselessRevisions=78577
25.18 nbAssignments=4970 nbFailedAssignments=1018 nbBacktracks=1707 nbVisitedNodes=7634 nbRestartNogoods=48
25.18 mapSize=1707 nbInferences=627 nbTooLargeKeys=0
25.18 => wckTime=16.034 cpuTime=15.71 mem=107M52
29.03
29.03 search
29.03 run=11 nbConstraintChecks=3370709 nbPropagations=1641996 nbRevisions=1661249 nbUselessRevisions=86588
29.03 nbAssignments=7018 nbFailedAssignments=1435 nbBacktracks=2571 nbVisitedNodes=11136 nbRestartNogoods=51
29.03 mapSize=2571 nbInferences=1247 nbTooLargeKeys=0
29.03 => wckTime=19.885 cpuTime=19.53 mem=143M651
35.98
35.98 search
35.98 run=12 nbConstraintChecks=4237634 nbPropagations=1869684 nbRevisions=1886607 nbUselessRevisions=95082
35.98 nbAssignments=10607 nbFailedAssignments=1978 nbBacktracks=3868 nbVisitedNodes=16829 nbRestartNogoods=67
35.98 mapSize=3868 nbInferences=2559 nbTooLargeKeys=0
35.98 => wckTime=26.831 cpuTime=26.31 mem=159M776
45.73
45.73 search
45.73 run=13 nbConstraintChecks=4583725 nbPropagations=2128545 nbRevisions=2139040 nbUselessRevisions=103864
45.73 nbAssignments=15658 nbFailedAssignments=2742 nbBacktracks=5814 nbVisitedNodes=25603 nbRestartNogoods=69
45.73 mapSize=5814 nbInferences=4754 nbTooLargeKeys=0
45.73 => wckTime=36.582 cpuTime=35.89 mem=205M548
63.11
63.12 search
63.12 run=14 nbConstraintChecks=5273298 nbPropagations=2445326 nbRevisions=2440831 nbUselessRevisions=113229
63.12 nbAssignments=24317 nbFailedAssignments=3662 nbBacktracks=8734 nbVisitedNodes=40481 nbRestartNogoods=78
63.12 mapSize=8734 nbInferences=9280 nbTooLargeKeys=0
63.12 => wckTime=53.969 cpuTime=52.99 mem=296M416
89.70
89.70 search
89.70 run=15 nbConstraintChecks=5779830 nbPropagations=2839932 nbRevisions=2806388 nbUselessRevisions=123390
89.70 nbAssignments=37533 nbFailedAssignments=4922 nbBacktracks=13112 nbVisitedNodes=63649 nbRestartNogoods=83
89.70 mapSize=13112 nbInferences=16712 nbTooLargeKeys=0
89.70 => wckTime=80.558 cpuTime=79.12 mem=383M966
130.41
130.41 search
130.41 run=16 nbConstraintChecks=7210710 nbPropagations=3366771 nbRevisions=3282452 nbUselessRevisions=134675
130.41 nbAssignments=57771 nbFailedAssignments=6726 nbBacktracks=19680 nbVisitedNodes=98347 nbRestartNogoods=101
130.41 mapSize=19680 nbInferences=27998 nbTooLargeKeys=0
130.41 => wckTime=121.265 cpuTime=119.11 mem=524M487
143.71
143.71 INFO : Stopping hyperNogood (mapSize=22099, nbTooLargekeys=0, mem=605M526)
154.50
154.50 search
154.50 run=17 nbConstraintChecks=8002005 nbPropagations=3995900 nbRevisions=3854879 nbUselessRevisions=146627
154.50 nbAssignments=77006 nbFailedAssignments=12565 nbBacktracks=29532 nbVisitedNodes=132365 nbRestartNogoods=114
154.50 => wckTime=145.354 cpuTime=142.88 mem=605M526
176.08
176.08 search
176.08 run=18 nbConstraintChecks=8563846 nbPropagations=4743026 nbRevisions=4545655 nbUselessRevisions=158932
176.08 nbAssignments=102100 nbFailedAssignments=22744 nbBacktracks=44310 nbVisitedNodes=177817 nbRestartNogoods=128
176.08 => wckTime=166.937 cpuTime=164.28 mem=605M526
203.89
203.89 search
203.89 run=19 nbConstraintChecks=9263939 nbPropagations=5663998 nbRevisions=5410616 nbUselessRevisions=171539
203.89 nbAssignments=139727 nbFailedAssignments=38138 nbBacktracks=66478 nbVisitedNodes=246232 nbRestartNogoods=134
203.89 => wckTime=194.74 cpuTime=191.83 mem=605M526
237.69
237.69 search
237.69 run=20 nbConstraintChecks=10299119 nbPropagations=6843212 nbRevisions=6535087 nbUselessRevisions=185392
237.69 nbAssignments=195828 nbFailedAssignments=60938 nbBacktracks=99730 nbVisitedNodes=347933 nbRestartNogoods=145
237.69 => wckTime=228.545 cpuTime=225.33 mem=605M526
306.31
306.31 search
306.31 run=21 nbConstraintChecks=11920998 nbPropagations=8412524 nbRevisions=8051222 nbUselessRevisions=200796
306.31 nbAssignments=280157 nbFailedAssignments=95192 nbBacktracks=149608 nbVisitedNodes=500769 nbRestartNogoods=162
306.31 => wckTime=297.168 cpuTime=293.32 mem=605M526
409.61
409.61 search
409.61 run=22 nbConstraintChecks=14355204 nbPropagations=10569023 nbRevisions=10156575 nbUselessRevisions=218122
409.61 nbAssignments=406909 nbFailedAssignments=146829 nbBacktracks=224429 nbVisitedNodes=730695 nbRestartNogoods=178
409.61 => wckTime=400.464 cpuTime=395.66 mem=605M526
567.42
567.42 search
567.42 run=23 nbConstraintChecks=17470602 nbPropagations=13596188 nbRevisions=13133730 nbUselessRevisions=236654
567.42 nbAssignments=597170 nbFailedAssignments=224551 nbBacktracks=336656 nbVisitedNodes=1076285 nbRestartNogoods=187
567.42 => wckTime=558.271 cpuTime=552.04 mem=605M526
796.62
796.62 search
796.62 run=24 nbConstraintChecks=21222840 nbPropagations=17907868 nbRevisions=17396340 nbUselessRevisions=256064
796.62 nbAssignments=882208 nbFailedAssignments=341051 nbBacktracks=504998 nbVisitedNodes=1594322 nbRestartNogoods=206
796.62 => wckTime=787.475 cpuTime=779.77 mem=605M526
1132.09
1132.10 search
1132.10 run=25 nbConstraintChecks=26801658 nbPropagations=24137063 nbRevisions=23579627 nbUselessRevisions=278755
1132.10 nbAssignments=1308105 nbFailedAssignments=514107 nbBacktracks=757509 nbVisitedNodes=2366198
1132.10 nbRestartNogoods=227
1132.10 => wckTime=1122.949 cpuTime=1114.89 mem=605M526
1635.80
1635.80 search
1635.80 run=26 nbConstraintChecks=34548081 nbPropagations=33231932 nbRevisions=32631601 nbUselessRevisions=304395
1635.80 nbAssignments=1947573 nbFailedAssignments=774614 nbBacktracks=1136276 nbVisitedNodes=3526679
1635.80 nbRestartNogoods=257
1635.80 => wckTime=1626.659 cpuTime=1618.1 mem=605M526
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-237468-1168348424 -o ROOT/results/node17/solver-237468-1168348424 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237468-1168348424/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: 2.07 2.03 2.01 4/94 16535
/proc/meminfo: memFree=1400280/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=11820 CPUtime=0
/proc/16534/stat : 16534 (java) D 16532 16534 15981 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 183237248 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2859812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/16534/statm: 2955 510 421 14 0 1602 0
[startup+0.103338 s]
/proc/loadavg: 2.07 2.03 2.01 4/94 16535
/proc/meminfo: memFree=1400280/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=914988 CPUtime=0.08
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 2993 0 1 0 7 1 0 0 17 0 8 0 183237248 936947712 2739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228747 2739 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511379 s]
/proc/loadavg: 2.07 2.03 2.01 4/94 16535
/proc/meminfo: memFree=1400280/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915328 CPUtime=0.49
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 6628 0 1 0 45 4 0 0 18 0 8 0 183237248 937295872 6367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072928503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228832 6367 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33247 s]
/proc/loadavg: 2.07 2.03 2.01 3/101 16542
/proc/meminfo: memFree=1335072/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915644 CPUtime=1.3
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 18651 0 1 0 119 11 0 0 25 0 8 0 183237248 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228911 18389 2160 14 0 215381 0
[pid=16534/tid=16536] ppid=16532 vsize=915644 CPUtime=0.06
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 2111 0 0 0 5 1 0 0 17 0 8 0 183237252 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915644 CPUtime=0.14
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 183237256 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937619456 18389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644
[startup+2.97064 s]
/proc/loadavg: 2.07 2.03 2.01 3/101 16542
/proc/meminfo: memFree=1321120/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915644 CPUtime=2.92
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 24366 0 1 0 278 14 0 0 25 0 8 0 183237248 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228911 24100 2180 14 0 215381 0
[pid=16534/tid=16536] ppid=16532 vsize=915644 CPUtime=0.35
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 7753 0 0 0 32 3 0 0 16 0 8 0 183237252 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915644 CPUtime=0.16
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 414 0 0 0 16 0 0 0 16 0 8 0 183237256 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937619456 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915644
[startup+6.17597 s]
/proc/loadavg: 2.06 2.03 2.01 3/101 16542
/proc/meminfo: memFree=1302368/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915644 CPUtime=6.1
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 26811 0 1 0 429 181 0 0 25 0 8 0 183237248 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3280525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228911 26543 2180 14 0 215381 0
[pid=16534/tid=16536] ppid=16532 vsize=915644 CPUtime=0.49
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 10178 0 0 0 45 4 0 0 16 0 8 0 183237252 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915644 CPUtime=0.19
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 432 0 0 0 19 0 0 0 16 0 8 0 183237256 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915644 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937619456 26543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915644
[startup+12.6526 s]
/proc/loadavg: 2.06 2.03 2.01 3/101 16542
/proc/meminfo: memFree=1273952/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=12.51
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 34410 0 1 0 963 288 0 0 25 0 8 0 183237248 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074136780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228976 34005 2544 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=1.09
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 17219 0 0 0 103 6 0 0 17 0 8 0 183237252 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.33
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 539 0 0 0 32 1 0 0 15 0 8 0 183237256 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 34005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915904
[startup+25.528 s]
/proc/loadavg: 2.12 2.04 2.01 3/101 16542
/proc/meminfo: memFree=1240736/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=25.27
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 42745 0 1 0 2235 292 0 0 25 0 8 0 183237248 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228976 42328 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=1.18
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 25511 0 0 0 108 10 0 0 17 0 8 0 183237252 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.38
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 569 0 0 0 37 1 0 0 16 0 8 0 183237256 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 42328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915904
[startup+51.1597 s]
/proc/loadavg: 2.08 2.04 2.01 3/101 16542
/proc/meminfo: memFree=1119520/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=50.66
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 73015 0 1 0 4761 305 0 0 25 0 8 0 183237248 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074208804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228976 72592 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=1.41
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 55774 0 0 0 119 22 0 0 16 0 8 0 183237252 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 570 0 0 0 38 1 0 0 15 0 8 0 183237256 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 72592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915904
[startup+102.417 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 16542
/proc/meminfo: memFree=936928/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=101.44
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 118575 0 1 0 9821 323 0 0 25 0 8 0 183237248 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074142060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16534/statm: 228976 118142 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=1.78
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 101324 0 0 0 138 40 0 0 16 0 8 0 183237252 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 570 0 0 0 38 1 0 0 15 0 8 0 183237256 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 118142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915904
[startup+162.443 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 16542
/proc/meminfo: memFree=779104/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=160.91
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157948 0 1 0 15751 340 0 0 25 0 8 0 183237248 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.42
Current children cumulated vsize (KiB) 915904
[startup+1483.83 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18036
/proc/meminfo: memFree=436944/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=1476.46
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157948 0 1 0 147279 367 0 0 25 0 8 0 183237248 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16534/statm: 228976 157505 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=2.12
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 140686 0 0 0 155 57 0 0 16 0 8 0 183237252 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 571 0 0 0 38 1 0 0 16 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.46
Current children cumulated vsize (KiB) 915904
[startup+1543.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18036
/proc/meminfo: memFree=436944/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=1536.46
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157948 0 1 0 153279 367 0 0 25 0 8 0 183237248 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074149796 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16534/statm: 228976 157505 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=2.12
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 140686 0 0 0 155 57 0 0 16 0 8 0 183237252 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 571 0 0 0 38 1 0 0 16 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.46
Current children cumulated vsize (KiB) 915904
[startup+1604 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18036
/proc/meminfo: memFree=436880/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=1596.49
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157948 0 1 0 159282 367 0 0 25 0 8 0 183237248 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16534/statm: 228976 157505 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=2.12
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 140686 0 0 0 155 57 0 0 16 0 8 0 183237252 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 571 0 0 0 38 1 0 0 16 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 157505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.49
Current children cumulated vsize (KiB) 915904
[startup+1664.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18036
/proc/meminfo: memFree=436816/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=1656.53
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157949 0 1 0 165285 368 0 0 25 0 8 0 183237248 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16534/statm: 228976 157506 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=2.12
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 140686 0 0 0 155 57 0 0 16 0 8 0 183237252 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 572 0 0 0 38 1 0 0 16 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.53
Current children cumulated vsize (KiB) 915904
[startup+1724.12 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18036
/proc/meminfo: memFree=436752/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=1716.48
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157949 0 1 0 171280 368 0 0 25 0 8 0 183237248 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16534/statm: 228976 157506 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=2.12
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 140686 0 0 0 155 57 0 0 16 0 8 0 183237252 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 572 0 0 0 38 1 0 0 16 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.48
Current children cumulated vsize (KiB) 915904
[startup+1784.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18036
/proc/meminfo: memFree=436624/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=1776.44
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157949 0 1 0 177276 368 0 0 25 0 8 0 183237248 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16534/statm: 228976 157506 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=2.12
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 140686 0 0 0 155 57 0 0 16 0 8 0 183237252 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 572 0 0 0 38 1 0 0 16 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.44
Current children cumulated vsize (KiB) 915904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18036
/proc/meminfo: memFree=436560/2055920 swapFree=4192812/4192956
[pid=16534] ppid=16532 vsize=915904 CPUtime=1800.07
/proc/16534/stat : 16534 (java) R 16532 16534 15981 0 -1 0 157949 0 1 0 179639 368 0 0 25 0 8 0 183237248 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16534/statm: 228976 157506 2545 14 0 215446 0
[pid=16534/tid=16536] ppid=16532 vsize=915904 CPUtime=2.12
/proc/16534/task/16536/stat : 16536 (java) S 16532 16534 15981 0 -1 64 140686 0 0 0 155 57 0 0 16 0 8 0 183237252 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16537] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16537/stat : 16537 (java) S 16532 16534 15981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16538] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16538/stat : 16538 (java) S 16532 16534 15981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183237253 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16539] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16539/stat : 16539 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16540] ppid=16532 vsize=915904 CPUtime=0.39
/proc/16534/task/16540/stat : 16540 (java) S 16532 16534 15981 0 -1 64 572 0 0 0 38 1 0 0 16 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16534/tid=16541] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16541/stat : 16541 (java) S 16532 16534 15981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16534/tid=16542] ppid=16532 vsize=915904 CPUtime=0
/proc/16534/task/16542/stat : 16542 (java) S 16532 16534 15981 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183237256 937885696 157506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.95
CPU time (s): 1800.22
CPU user time (s): 1796.44
CPU system time (s): 3.77743
CPU usage (%): 99.5722
Max. virtual memory (cumulated for all children) (KiB): 916148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.44
system time used= 3.77743
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157966
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= 38475
involuntary context switches= 56870
runsolver used 2.92755 s user time and 7.70583 s system time
The end
Begin job on node17 on Tue Jan 9 13:13:45 UTC 2007
IDJOB= 237468
IDBENCH= 6943
FILE ID= node17/237468-1168348424
PBS_JOBID= 3503586
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_52.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237468-1168348424/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-237468-1168348424 -o ROOT/results/node17/solver-237468-1168348424 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237468-1168348424/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bfebe5df1905949972c2e283719f815b
RANDOM SEED= 114799692
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.236
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.236
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: 1400760 kB
Buffers: 39332 kB
Cached: 99864 kB
SwapCached: 0 kB
Active: 525792 kB
Inactive: 71312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1400760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10080 kB
Writeback: 0 kB
Mapped: 482460 kB
Slab: 41960 kB
Committed_AS: 6053244 kB
PageTables: 3100 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= 66544 MiB
End job on node17 on Tue Jan 9 13:43:53 UTC 2007