0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/238205-1168083395/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.60 nbVariables=2500 nbDomainTypes=1 minDomainSize=50 maxDomainSize=50
0.60 => wckTime=0.283 cpuTime=0.21 mem=13M723
0.60
0.60 predicates being loaded...
0.60
0.60 constraints being loaded...
4.85
4.85 INFO : Stopping converting binary constraints (cpu=4.01, mem = 67M537)
5.77 nbConstraints=61299 nbConvertedConstraints=28210 nbConvertConstraintsChecks=10000 nbExtensionStructures=4
5.77 nbSharedExtensionStructures=28206 nbConflictsStructures=4 nbSharedConflictsStructures=28206
5.77 nbSharedBinaryRepresentations=299 nbEvaluationManagers=4 nbSharedEvaluationManagers=33085 maxDegree=50
5.77 maxArity=2
5.77 => wckTime=5.458 cpuTime=4.45 mem=59M332
6.11
6.11 solver IterativeSystematicSolver being built...
6.82 => wckTime=6.508 cpuTime=4.94 mem=77M653
8.54
8.54 preprocessing
8.54 nbConstraintChecks=3316414 nbValidityChecks=67522 nbPropagations=2500 nbRevisions=66178
8.54 nbUselessRevisions=66178 nbRemovedValues=0 detectedInconsistency=no
8.54 => wckTime=1.697 cpuTime=1.66 mem=77M653
11.35
11.35 search
11.35 run=0 nbConstraintChecks=3850442 nbValidityChecks=7250583 nbPropagations=9921 nbRevisions=233164
11.35 nbUselessRevisions=225864 nbAssignments=206 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=227
11.35 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
11.35 => wckTime=4.515 cpuTime=4.42 mem=82M225
12.73
12.73 search
12.74 run=1 nbConstraintChecks=4949063 nbValidityChecks=14695090 nbPropagations=27358 nbRevisions=638669
12.74 nbUselessRevisions=616684 nbAssignments=417 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=462
12.74 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
12.74 => wckTime=5.901 cpuTime=5.79 mem=85M212
14.15
14.15 search
14.15 run=2 nbConstraintChecks=5943704 nbValidityChecks=22582600 nbPropagations=52541 nbRevisions=1228446
14.15 nbUselessRevisions=1184159 nbAssignments=647 nbFailedAssignments=40 nbBacktracks=47 nbVisitedNodes=728
14.15 nbRestartNogoods=7 mapSize=47 nbInferences=0 nbTooLargeKeys=0
14.15 => wckTime=7.319 cpuTime=7.2 mem=88M796
15.57
15.57 search
15.57 run=3 nbConstraintChecks=6850771 nbValidityChecks=30559655 nbPropagations=85645 nbRevisions=2003041
15.57 nbUselessRevisions=1928656 nbAssignments=892 nbFailedAssignments=66 nbBacktracks=80 nbVisitedNodes=1025
15.57 nbRestartNogoods=11 mapSize=80 nbInferences=0 nbTooLargeKeys=0
15.57 => wckTime=8.733 cpuTime=8.6 mem=91M784
17.03
17.03 search
17.03 run=4 nbConstraintChecks=7819255 nbValidityChecks=38813313 nbPropagations=126987 nbRevisions=2968839
17.03 nbUselessRevisions=2856244 nbAssignments=1169 nbFailedAssignments=104 nbBacktracks=130 nbVisitedNodes=1380
17.03 nbRestartNogoods=14 mapSize=130 nbInferences=2 nbTooLargeKeys=0
17.03 => wckTime=10.199 cpuTime=10.04 mem=95M732
18.54
18.54 search
18.54 run=5 nbConstraintChecks=8695808 nbValidityChecks=47193365 nbPropagations=176949 nbRevisions=4128258
18.54 nbUselessRevisions=3969002 nbAssignments=1499 nbFailedAssignments=151 nbBacktracks=205 nbVisitedNodes=1822
18.54 nbRestartNogoods=16 mapSize=205 nbInferences=20 nbTooLargeKeys=0
18.54 => wckTime=11.707 cpuTime=11.53 mem=100M982
20.23
20.23 search
20.23 run=6 nbConstraintChecks=9598529 nbValidityChecks=55851184 nbPropagations=236168 nbRevisions=5490140
20.23 nbUselessRevisions=5275144 nbAssignments=1912 nbFailedAssignments=225 nbBacktracks=319 nbVisitedNodes=2405
20.23 nbRestartNogoods=20 mapSize=319 nbInferences=42 nbTooLargeKeys=0
20.23 => wckTime=13.399 cpuTime=13.2 mem=106M958
22.01
22.01 search
22.01 run=7 nbConstraintChecks=10274415 nbValidityChecks=64466152 nbPropagations=305385 nbRevisions=7051576
22.01 nbUselessRevisions=6771043 nbAssignments=2437 nbFailedAssignments=337 nbBacktracks=489 nbVisitedNodes=3197
22.01 nbRestartNogoods=22 mapSize=489 nbInferences=85 nbTooLargeKeys=0
22.01 => wckTime=15.176 cpuTime=14.95 mem=113M930
24.16
24.16 search
24.16 run=8 nbConstraintChecks=11124807 nbValidityChecks=73421429 nbPropagations=385546 nbRevisions=8823004
24.16 nbUselessRevisions=8466243 nbAssignments=3121 nbFailedAssignments=501 nbBacktracks=745 nbVisitedNodes=4259
24.16 nbRestartNogoods=28 mapSize=745 nbInferences=135 nbTooLargeKeys=0
24.16 => wckTime=17.33 cpuTime=17.02 mem=95M920
26.56
26.56 search
26.56 run=9 nbConstraintChecks=11904118 nbValidityChecks=82509689 nbPropagations=477941 nbRevisions=10810176
26.56 nbUselessRevisions=10365187 nbAssignments=4039 nbFailedAssignments=759 nbBacktracks=1129 nbVisitedNodes=5757
26.56 nbRestartNogoods=34 mapSize=1129 nbInferences=199 nbTooLargeKeys=0
26.56 => wckTime=19.725 cpuTime=19.39 mem=107M690
29.81
29.81 search
29.81 run=10 nbConstraintChecks=12697532 nbValidityChecks=91819923 nbPropagations=585248 nbRevisions=13025173
29.81 nbUselessRevisions=12477565 nbAssignments=5454 nbFailedAssignments=1105 nbBacktracks=1705 nbVisitedNodes=8138
29.81 nbRestartNogoods=41 mapSize=1705 nbInferences=473 nbTooLargeKeys=0
29.81 => wckTime=22.972 cpuTime=22.59 mem=128M166
34.23
34.23 search
34.23 run=11 nbConstraintChecks=13797744 nbValidityChecks=101589750 nbPropagations=710582 nbRevisions=15485417
34.23 nbUselessRevisions=14818327 nbAssignments=7494 nbFailedAssignments=1556 nbBacktracks=2569 nbVisitedNodes=11584
34.23 nbRestartNogoods=49 mapSize=2569 nbInferences=977 nbTooLargeKeys=0
34.23 => wckTime=27.398 cpuTime=26.91 mem=138M614
40.68
40.68 search
40.68 run=12 nbConstraintChecks=14602076 nbValidityChecks=111427808 nbPropagations=860824 nbRevisions=18208933
40.68 nbUselessRevisions=17399708 nbAssignments=10799 nbFailedAssignments=2160 nbBacktracks=3867 nbVisitedNodes=17274
40.68 nbRestartNogoods=53 mapSize=3867 nbInferences=2154 nbTooLargeKeys=0
40.68 => wckTime=33.85 cpuTime=33.25 mem=171M492
50.39
50.39 search
50.39 run=13 nbConstraintChecks=15511606 nbValidityChecks=121518075 nbPropagations=1046283 nbRevisions=21194614
50.39 nbUselessRevisions=20212795 nbAssignments=16018 nbFailedAssignments=2884 nbBacktracks=5813 nbVisitedNodes=26254
50.39 nbRestartNogoods=61 mapSize=5812 nbInferences=4467 nbTooLargeKeys=0
50.39 => wckTime=43.557 cpuTime=42.77 mem=208M515
65.05
65.05 search
65.05 run=14 nbConstraintChecks=16723921 nbValidityChecks=132446270 nbPropagations=1283499 nbRevisions=24557247
65.05 nbUselessRevisions=23358116 nbAssignments=24087 nbFailedAssignments=4090 nbBacktracks=8733 nbVisitedNodes=40436
65.05 nbRestartNogoods=71 mapSize=8732 nbInferences=8168 nbTooLargeKeys=0
65.05 => wckTime=58.221 cpuTime=57.17 mem=267M227
88.13
88.13 search
88.13 run=15 nbConstraintChecks=18646230 nbValidityChecks=144154779 nbPropagations=1598325 nbRevisions=28397817
88.13 nbUselessRevisions=26916267 nbAssignments=36809 nbFailedAssignments=5656 nbBacktracks=13112
88.13 nbVisitedNodes=62817 nbRestartNogoods=85 mapSize=13111 nbInferences=14695 nbTooLargeKeys=0
88.13 => wckTime=81.3 cpuTime=79.88 mem=379M892
124.99
124.99 search
124.99 run=16 nbConstraintChecks=20550745 nbValidityChecks=157103531 nbPropagations=2037801 nbRevisions=32914564
124.99 nbUselessRevisions=31049144 nbAssignments=57341 nbFailedAssignments=7652 nbBacktracks=19680
124.99 nbVisitedNodes=99050 nbRestartNogoods=92 mapSize=19679 nbInferences=26404 nbTooLargeKeys=0
124.99 => wckTime=118.16 cpuTime=116.09 mem=503M650
146.11
146.11 INFO : Stopping hyperNogood (mapSize=23598, nbTooLargekeys=0, mem=601M396)
153.52
153.52 search
153.52 run=17 nbConstraintChecks=22353212 nbValidityChecks=169990815 nbPropagations=2596189 nbRevisions=38032889
153.52 nbUselessRevisions=35676762 nbAssignments=79113 nbFailedAssignments=12996 nbBacktracks=29532
153.52 nbVisitedNodes=137813 nbRestartNogoods=105
153.52 => wckTime=146.687 cpuTime=144.18 mem=601M396
173.03
173.03 search
173.03 run=18 nbConstraintChecks=24230475 nbValidityChecks=183097989 nbPropagations=3278079 nbRevisions=43710905
173.03 nbUselessRevisions=40740689 nbAssignments=104371 nbFailedAssignments=23192 nbBacktracks=44310
173.03 nbVisitedNodes=183463 nbRestartNogoods=124
173.03 => wckTime=166.199 cpuTime=163.52 mem=601M396
201.07
201.07 search
201.07 run=19 nbConstraintChecks=25946908 nbValidityChecks=196565091 nbPropagations=4139003 nbRevisions=50036520
201.07 nbUselessRevisions=46273349 nbAssignments=142011 nbFailedAssignments=38378 nbBacktracks=66478
201.07 nbVisitedNodes=251475 nbRestartNogoods=142
201.07 => wckTime=194.239 cpuTime=191.29 mem=601M396
241.94
241.94 search
241.94 run=20 nbConstraintChecks=27892420 nbValidityChecks=210938483 nbPropagations=5262877 nbRevisions=57229527
241.94 nbUselessRevisions=52410647 nbAssignments=198369 nbFailedAssignments=61191 nbBacktracks=99734
241.94 nbVisitedNodes=353459 nbRestartNogoods=156
241.94 => wckTime=235.107 cpuTime=231.79 mem=601M396
303.52
303.52 search
303.52 run=21 nbConstraintChecks=30530022 nbValidityChecks=226681865 nbPropagations=6776345 nbRevisions=65652300
303.52 nbUselessRevisions=59388301 nbAssignments=283005 nbFailedAssignments=95647 nbBacktracks=149613
303.52 nbVisitedNodes=507007 nbRestartNogoods=158
303.52 => wckTime=296.686 cpuTime=292.8 mem=601M396
394.88
394.88 search
394.88 run=22 nbConstraintChecks=33814076 nbValidityChecks=243901345 nbPropagations=8867034 nbRevisions=75772056
394.88 nbUselessRevisions=67485237 nbAssignments=409599 nbFailedAssignments=147113 nbBacktracks=224432
394.88 nbVisitedNodes=736533 nbRestartNogoods=169
394.88 => wckTime=388.044 cpuTime=383.33 mem=601M396
529.38
529.39 search
529.39 run=23 nbConstraintChecks=38028012 nbValidityChecks=263180361 nbPropagations=11819801 nbRevisions=88287272
529.39 nbUselessRevisions=77115735 nbAssignments=599949 nbFailedAssignments=224906 nbBacktracks=336659
529.39 nbVisitedNodes=1082469 nbRestartNogoods=182
529.39 => wckTime=522.551 cpuTime=516.6 mem=601M396
729.57
729.57 search
729.57 run=24 nbConstraintChecks=43937945 nbValidityChecks=285615054 nbPropagations=16058557 nbRevisions=104242499
729.57 nbUselessRevisions=88900444 nbAssignments=885209 nbFailedAssignments=341488 nbBacktracks=505003
729.57 nbVisitedNodes=1600893 nbRestartNogoods=206
729.57 => wckTime=722.741 cpuTime=714.94 mem=601M396
1024.55
1024.55 search
1024.55 run=25 nbConstraintChecks=52172955 nbValidityChecks=312749427 nbPropagations=22211285 nbRevisions=125206214
1024.55 nbUselessRevisions=103779872 nbAssignments=1311138 nbFailedAssignments=514561 nbBacktracks=757514
1024.55 nbVisitedNodes=2372968 nbRestartNogoods=219
1024.55 => wckTime=1017.716 cpuTime=1007.21 mem=601M396
1465.28
1465.28 search
1465.28 run=26 nbConstraintChecks=64010491 nbValidityChecks=346750260 nbPropagations=31239258 nbRevisions=153548463
1465.28 nbUselessRevisions=123159026 nbAssignments=1951933 nbFailedAssignments=776235 nbBacktracks=1136281
1465.28 nbVisitedNodes=3537111 nbRestartNogoods=241
1465.28 => wckTime=1458.442 cpuTime=1443.83 mem=601M396
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-238205-1168083395 -o ROOT/results/node11/solver-238205-1168083395 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238205-1168083395/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.45 1.87 1.87 5/93 31124
/proc/meminfo: memFree=1556848/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=9748 CPUtime=0
/proc/31123/stat : 31123 (java) D 31121 31123 30536 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156735567 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7979812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/31123/statm: 2437 412 333 14 0 1140 0
[startup+0.103165 s]
/proc/loadavg: 1.45 1.87 1.87 5/93 31124
/proc/meminfo: memFree=1556848/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=914988 CPUtime=0.08
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 2988 0 1 0 7 1 0 0 19 0 8 0 156735567 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154100019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511246 s]
/proc/loadavg: 1.45 1.87 1.87 5/93 31124
/proc/meminfo: memFree=1556848/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915328 CPUtime=0.49
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 6709 0 1 0 44 5 0 0 18 0 8 0 156735567 937295872 6448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228832 6448 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33241 s]
/proc/loadavg: 1.49 1.87 1.87 3/100 31131
/proc/meminfo: memFree=1491896/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915644 CPUtime=1.3
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 18536 0 1 0 119 11 0 0 25 0 8 0 156735567 937619456 18274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228911 18274 2160 14 0 215381 0
[pid=31123/tid=31125] ppid=31121 vsize=915644 CPUtime=0.05
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 1996 0 0 0 5 0 0 0 17 0 8 0 156735571 937619456 18274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937619456 18274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735571 937619456 18274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937619456 18274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915644 CPUtime=0.15
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 156735575 937619456 18274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937619456 18274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937619456 18274 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.97374 s]
/proc/loadavg: 1.49 1.87 1.87 3/100 31131
/proc/meminfo: memFree=1478328/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915648 CPUtime=2.92
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 23174 0 1 0 265 27 0 0 25 0 8 0 156735567 937623552 22909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228912 22909 2180 14 0 215382 0
[pid=31123/tid=31125] ppid=31121 vsize=915648 CPUtime=0.28
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 6547 0 0 0 26 2 0 0 16 0 8 0 156735571 937623552 22909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915648 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937623552 22909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915648 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735571 937623552 22909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915648 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937623552 22909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915648 CPUtime=0.19
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 430 0 0 0 19 0 0 0 16 0 8 0 156735575 937623552 22909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915648 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937623552 22909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915648 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937623552 22909 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) 915648
[startup+6.27339 s]
/proc/loadavg: 1.49 1.87 1.87 3/100 31131
/proc/meminfo: memFree=1441912/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915644 CPUtime=6.2
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 33353 0 1 0 484 136 0 0 25 0 8 0 156735567 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073536854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228911 33021 2498 14 0 215381 0
[pid=31123/tid=31125] ppid=31121 vsize=915644 CPUtime=1.11
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 16342 0 0 0 104 7 0 0 18 0 8 0 156735571 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735571 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915644 CPUtime=0.24
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 456 0 0 0 23 1 0 0 16 0 8 0 156735575 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915644 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937619456 33021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915644
[startup+12.7537 s]
/proc/loadavg: 1.64 1.89 1.88 3/100 31131
/proc/meminfo: memFree=1420088/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=12.61
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 36984 0 1 0 1123 138 0 0 25 0 8 0 156735567 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228968 36643 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=1.22
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 19781 0 0 0 114 8 0 0 17 0 8 0 156735571 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.35
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 550 0 0 0 34 1 0 0 16 0 8 0 156735575 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 36643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915872
[startup+25.6292 s]
/proc/loadavg: 1.70 1.89 1.88 3/100 31131
/proc/meminfo: memFree=1400120/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=25.37
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 42016 0 1 0 2396 141 0 0 25 0 8 0 156735567 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228968 41669 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=1.29
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 24794 0 0 0 119 10 0 0 16 0 8 0 156735571 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.39
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 156735575 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 41669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915872
[startup+51.2543 s]
/proc/loadavg: 1.81 1.90 1.89 3/100 31131
/proc/meminfo: memFree=1302840/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=50.75
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 66307 0 1 0 4925 150 0 0 25 0 8 0 156735567 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074159247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228968 65953 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=1.5
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 49073 0 0 0 131 19 0 0 16 0 8 0 156735571 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.4
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 572 0 0 0 38 2 0 0 16 0 8 0 156735575 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 65953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915872
[startup+102.518 s]
/proc/loadavg: 1.92 1.91 1.89 3/100 31131
/proc/meminfo: memFree=1095928/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=101.54
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 117962 0 1 0 9981 173 0 0 25 0 8 0 156735567 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074222827 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31123/statm: 228968 117598 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=1.94
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 100718 0 0 0 152 42 0 0 16 0 8 0 156735571 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.4
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 572 0 0 0 38 2 0 0 16 0 8 0 156735575 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 117598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915872
[startup+162.521 s]
/proc/loadavg: 1.97 1.93 1.90 3/100 31131
/proc/meminfo: memFree=942392/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=161
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156278 0 1 0 15910 190 0 0 25 0 8 0 156735567 937852928 155904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.17
Current children cumulated vsize (KiB) 915872
[startup+1484.31 s]
/proc/loadavg: 2.25 2.06 1.95 3/106 31305
/proc/meminfo: memFree=931160/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=1470.73
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156280 0 1 0 146865 208 0 0 25 0 8 0 156735567 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074233799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31123/statm: 228968 155905 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=2.27
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 139024 0 0 0 169 58 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.41
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 573 0 0 0 39 2 0 0 16 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.73
Current children cumulated vsize (KiB) 915872
[startup+1544.36 s]
/proc/loadavg: 2.09 2.05 1.95 3/106 31365
/proc/meminfo: memFree=931112/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=1530.69
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156280 0 1 0 152852 217 0 0 25 0 8 0 156735567 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31123/statm: 228968 155905 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=2.27
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 139024 0 0 0 169 58 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.41
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 573 0 0 0 39 2 0 0 16 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.69
Current children cumulated vsize (KiB) 915872
[startup+1604.37 s]
/proc/loadavg: 2.03 2.04 1.95 3/100 31387
/proc/meminfo: memFree=932320/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=1590.62
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156280 0 1 0 158844 218 0 0 25 0 8 0 156735567 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074208554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31123/statm: 228968 155905 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=2.27
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 139024 0 0 0 169 58 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.41
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 573 0 0 0 39 2 0 0 16 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.62
Current children cumulated vsize (KiB) 915872
[startup+1664.38 s]
/proc/loadavg: 2.01 2.03 1.95 3/100 31387
/proc/meminfo: memFree=932384/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=1650.57
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156280 0 1 0 164839 218 0 0 25 0 8 0 156735567 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074212016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31123/statm: 228968 155905 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=2.27
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 139024 0 0 0 169 58 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.41
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 573 0 0 0 39 2 0 0 16 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.57
Current children cumulated vsize (KiB) 915872
[startup+1724.4 s]
/proc/loadavg: 2.04 2.03 1.96 3/100 31387
/proc/meminfo: memFree=932448/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=1710.33
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156280 0 1 0 170815 218 0 0 25 0 8 0 156735567 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31123/statm: 228968 155905 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=2.27
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 139024 0 0 0 169 58 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.41
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 573 0 0 0 39 2 0 0 16 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.33
Current children cumulated vsize (KiB) 915872
[startup+1784.42 s]
/proc/loadavg: 2.07 2.04 1.96 3/100 31387
/proc/meminfo: memFree=932512/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=1770.03
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156280 0 1 0 176784 219 0 0 25 0 8 0 156735567 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073546918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31123/statm: 228968 155905 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=2.27
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 139024 0 0 0 169 58 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.41
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 573 0 0 0 39 2 0 0 16 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.03
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.58 s]
/proc/loadavg: 2.04 2.03 1.96 3/100 31387
/proc/meminfo: memFree=932448/2055920 swapFree=4192812/4192956
[pid=31123] ppid=31121 vsize=915872 CPUtime=1800.05
/proc/31123/stat : 31123 (java) R 31121 31123 30536 0 -1 0 156280 0 1 0 179786 219 0 0 25 0 8 0 156735567 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074208507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31123/statm: 228968 155905 2538 14 0 215438 0
[pid=31123/tid=31125] ppid=31121 vsize=915872 CPUtime=2.27
/proc/31123/task/31125/stat : 31125 (java) S 31121 31123 30536 0 -1 64 139024 0 0 0 169 58 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31126] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31126/stat : 31126 (java) S 31121 31123 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31127] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31127/stat : 31127 (java) S 31121 31123 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156735571 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31128] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31128/stat : 31128 (java) S 31121 31123 30536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31129] ppid=31121 vsize=915872 CPUtime=0.41
/proc/31123/task/31129/stat : 31129 (java) S 31121 31123 30536 0 -1 64 573 0 0 0 39 2 0 0 16 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31130] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31130/stat : 31130 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31123/tid=31131] ppid=31121 vsize=915872 CPUtime=0
/proc/31123/task/31131/stat : 31131 (java) S 31121 31123 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735575 937852928 155905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.7
CPU time (s): 1800.18
CPU user time (s): 1797.88
CPU system time (s): 2.29365
CPU usage (%): 99.1995
Max. virtual memory (cumulated for all children) (KiB): 915896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.88
system time used= 2.29365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156297
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= 38661
involuntary context switches= 104548
runsolver used 2.14667 s user time and 5.9011 s system time
The end
Begin job on node11 on Sat Jan 6 11:36:43 UTC 2007
IDJOB= 238205
IDBENCH= 6989
FILE ID= node11/238205-1168083395
PBS_JOBID= 3476201
Free space on /tmp= 66312 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_50.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238205-1168083395/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-238205-1168083395 -o ROOT/results/node11/solver-238205-1168083395 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238205-1168083395/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 11ade2bb67489af481e21c85748d9198
RANDOM SEED= 357610966
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.261
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 : 5931.00
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.261
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: 1557328 kB
Buffers: 41648 kB
Cached: 266596 kB
SwapCached: 0 kB
Active: 190156 kB
Inactive: 224008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1557328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9184 kB
Writeback: 0 kB
Mapped: 134956 kB
Slab: 68828 kB
Committed_AS: 5169896 kB
PageTables: 2520 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= 66311 MiB
End job on node11 on Sat Jan 6 12:07:07 UTC 2007