0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206788-1168074076/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.55
1.55 constraints being loaded...
2.32 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.32 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.32 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.32 => wckTime=2.006 cpuTime=1.59 mem=57M6
2.48
2.48 solver IterativeSystematicSolver being built...
2.66 => wckTime=2.343 cpuTime=1.73 mem=65M76
2.67
2.67 preprocessing
2.67 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.67 detectedInconsistency=no
2.67 => wckTime=0.0040 cpuTime=0.0 mem=65M76
2.82
2.82 search
2.82 run=0 nbConstraintChecks=48118 nbValidityChecks=83922 nbPropagations=435 nbRevisions=4715
2.82 nbUselessRevisions=3789 nbAssignments=32 nbFailedAssignments=15 nbBacktracks=11 nbVisitedNodes=57
2.82 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=0.161 cpuTime=0.12 mem=65M76
2.97
2.97 search
2.97 run=1 nbConstraintChecks=121776 nbValidityChecks=215685 nbPropagations=1437 nbRevisions=16988
2.97 nbUselessRevisions=13590 nbAssignments=77 nbFailedAssignments=39 nbBacktracks=27 nbVisitedNodes=136
2.97 nbRestartNogoods=6 mapSize=23 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=0.304 cpuTime=0.25 mem=65M76
3.12
3.12 search
3.12 run=2 nbConstraintChecks=204324 nbValidityChecks=372399 nbPropagations=3202 nbRevisions=37974
3.12 nbUselessRevisions=30341 nbAssignments=129 nbFailedAssignments=63 nbBacktracks=49 nbVisitedNodes=226
3.12 nbRestartNogoods=7 mapSize=43 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=0.458 cpuTime=0.39 mem=65M76
3.42
3.42 search
3.42 run=3 nbConstraintChecks=382943 nbValidityChecks=710060 nbPropagations=6428 nbRevisions=77329
3.42 nbUselessRevisions=61449 nbAssignments=238 nbFailedAssignments=132 nbBacktracks=82 nbVisitedNodes=429
3.42 nbRestartNogoods=10 mapSize=74 nbInferences=0 nbTooLargeKeys=0
3.42 => wckTime=0.76 cpuTime=0.69 mem=65M76
3.73
3.73 search
3.73 run=4 nbConstraintChecks=566604 nbValidityChecks=1064641 nbPropagations=11321 nbRevisions=137176
3.73 nbUselessRevisions=108961 nbAssignments=390 nbFailedAssignments=225 nbBacktracks=132 nbVisitedNodes=705
3.73 nbRestartNogoods=17 mapSize=117 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=1.062 cpuTime=0.99 mem=66M68
4.22
4.22 search
4.22 run=5 nbConstraintChecks=864054 nbValidityChecks=1678208 nbPropagations=19159 nbRevisions=233319
4.22 nbUselessRevisions=185252 nbAssignments=612 nbFailedAssignments=365 nbBacktracks=208 nbVisitedNodes=1123
4.22 nbRestartNogoods=32 mapSize=187 nbInferences=0 nbTooLargeKeys=0
4.22 => wckTime=1.561 cpuTime=1.48 mem=66M68
4.83
4.83 search
4.83 run=6 nbConstraintChecks=1221517 nbValidityChecks=2391625 nbPropagations=30693 nbRevisions=374302
4.83 nbUselessRevisions=296642 nbAssignments=868 nbFailedAssignments=500 nbBacktracks=324 nbVisitedNodes=1583
4.83 nbRestartNogoods=36 mapSize=289 nbInferences=0 nbTooLargeKeys=0
4.83 => wckTime=2.164 cpuTime=2.07 mem=66M68
5.66
5.66 search
5.66 run=7 nbConstraintChecks=1732451 nbValidityChecks=3387004 nbPropagations=47184 nbRevisions=574701
5.66 nbUselessRevisions=455050 nbAssignments=1261 nbFailedAssignments=717 nbBacktracks=495 nbVisitedNodes=2296
5.66 nbRestartNogoods=40 mapSize=426 nbInferences=0 nbTooLargeKeys=0
5.66 => wckTime=2.996 cpuTime=2.9 mem=66M68
7.42
7.42 search
7.42 run=8 nbConstraintChecks=2791049 nbValidityChecks=5466944 nbPropagations=73182 nbRevisions=894526
7.42 nbUselessRevisions=707589 nbAssignments=1951 nbFailedAssignments=1144 nbBacktracks=751 nbVisitedNodes=3585
7.42 nbRestartNogoods=48 mapSize=660 nbInferences=0 nbTooLargeKeys=0
7.42 => wckTime=4.76 cpuTime=4.63 mem=66M68
9.60
9.60 search
9.60 run=9 nbConstraintChecks=4084431 nbValidityChecks=8114526 nbPropagations=112525 nbRevisions=1371306
9.60 nbUselessRevisions=1082370 nbAssignments=2792 nbFailedAssignments=1594 nbBacktracks=1135 nbVisitedNodes=5162
9.60 nbRestartNogoods=59 mapSize=1028 nbInferences=0 nbTooLargeKeys=0
9.60 => wckTime=6.935 cpuTime=6.77 mem=66M68
9.69
9.69 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=66M68)
13.20
13.20 search
13.20 run=10 nbConstraintChecks=6304626 nbValidityChecks=12685512 nbPropagations=174002 nbRevisions=2124072
13.20 nbUselessRevisions=1670955 nbAssignments=4540 nbFailedAssignments=2760 nbBacktracks=1711 nbVisitedNodes=8486
13.20 nbRestartNogoods=69
13.20 => wckTime=10.543 cpuTime=10.35 mem=66M68
17.69
17.69 search
17.69 run=11 nbConstraintChecks=9026399 nbValidityChecks=18222662 nbPropagations=263679 nbRevisions=3207087
17.69 nbUselessRevisions=2519688 nbAssignments=6524 nbFailedAssignments=3873 nbBacktracks=2575 nbVisitedNodes=12128
17.69 nbRestartNogoods=78
17.69 => wckTime=15.029 cpuTime=14.81 mem=66M68
24.13
24.13 search
24.13 run=12 nbConstraintChecks=13122933 nbValidityChecks=26024357 nbPropagations=391136 nbRevisions=4744523
24.13 nbUselessRevisions=3727569 nbAssignments=9485 nbFailedAssignments=5531 nbBacktracks=3874 nbVisitedNodes=17477
24.13 nbRestartNogoods=94
24.13 => wckTime=21.466 cpuTime=21.2 mem=66M68
35.49
35.49 search
35.49 run=13 nbConstraintChecks=20170121 nbValidityChecks=40325797 nbPropagations=588928 nbRevisions=7153747
35.49 nbUselessRevisions=5619034 nbAssignments=14264 nbFailedAssignments=8357 nbBacktracks=5820 nbVisitedNodes=26518
35.49 nbRestartNogoods=97
35.49 => wckTime=32.829 cpuTime=32.5 mem=66M68
50.26
50.26 search
50.26 run=14 nbConstraintChecks=29273960 nbValidityChecks=58509507 nbPropagations=871103 nbRevisions=10626097
50.26 nbUselessRevisions=8362370 nbAssignments=20585 nbFailedAssignments=11752 nbBacktracks=8740 nbVisitedNodes=38101
50.26 nbRestartNogoods=122
50.26 => wckTime=47.599 cpuTime=47.18 mem=66M68
72.92
72.92 search
72.92 run=15 nbConstraintChecks=43359677 nbValidityChecks=86676561 nbPropagations=1292664 nbRevisions=15774301
72.92 nbUselessRevisions=12428325 nbAssignments=30499 nbFailedAssignments=17280 nbBacktracks=13119
72.92 nbVisitedNodes=56268 nbRestartNogoods=136
72.92 => wckTime=70.254 cpuTime=69.7 mem=66M68
113.19
113.19 search
113.19 run=16 nbConstraintChecks=68486516 nbValidityChecks=137262401 nbPropagations=1944192 nbRevisions=23816991
113.19 nbUselessRevisions=18777413 nbAssignments=48126 nbFailedAssignments=28331 nbBacktracks=19687
113.19 nbVisitedNodes=89457 nbRestartNogoods=146
113.19 => wckTime=110.524 cpuTime=109.76 mem=66M68
165.35
165.35 search
165.35 run=17 nbConstraintChecks=100665024 nbValidityChecks=198880853 nbPropagations=2883413 nbRevisions=35353250
165.35 nbUselessRevisions=27862883 nbAssignments=67877 nbFailedAssignments=38223 nbBacktracks=29539
165.35 nbVisitedNodes=124713 nbRestartNogoods=165
165.35 => wckTime=162.685 cpuTime=161.66 mem=66M68
266.15
266.15 search
266.15 run=18 nbConstraintChecks=162849123 nbValidityChecks=325151443 nbPropagations=4408401 nbRevisions=54241494
266.15 nbUselessRevisions=42674700 nbAssignments=110682 nbFailedAssignments=66243 nbBacktracks=44318
266.15 nbVisitedNodes=206580 nbRestartNogoods=178
266.15 => wckTime=263.485 cpuTime=261.99 mem=66M68
375.66
375.66 search
375.66 run=19 nbConstraintChecks=230988570 nbValidityChecks=457841611 nbPropagations=6579536 nbRevisions=80901330
375.66 nbUselessRevisions=63611975 nbAssignments=158468 nbFailedAssignments=91853 nbBacktracks=66487
375.66 nbVisitedNodes=293096 nbRestartNogoods=206
375.66 => wckTime=372.996 cpuTime=370.98 mem=66M68
543.56
543.56 search
543.56 run=20 nbConstraintChecks=336132139 nbValidityChecks=669853549 nbPropagations=9798236 nbRevisions=120297857
543.56 nbUselessRevisions=94616726 nbAssignments=237448 nbFailedAssignments=137574 nbBacktracks=99739
543.56 nbVisitedNodes=439406 nbRestartNogoods=220
543.56 => wckTime=540.9 cpuTime=538.08 mem=66M68
839.25
839.26 search
839.26 run=21 nbConstraintChecks=521232420 nbValidityChecks=1028699899 nbPropagations=14692753 nbRevisions=180566671
839.26 nbUselessRevisions=142089341 nbAssignments=355689 nbFailedAssignments=205931 nbBacktracks=149617
839.26 nbVisitedNodes=657576 nbRestartNogoods=260
839.26 => wckTime=836.593 cpuTime=832.37 mem=66M68
1281.90
1281.90 search
1281.90 run=22 nbConstraintChecks=794693391 nbValidityChecks=1586654466 nbPropagations=22353491 nbRevisions=274739692
1281.90 nbUselessRevisions=216037147 nbAssignments=548580 nbFailedAssignments=323996 nbBacktracks=224436
1281.90 nbVisitedNodes=1023096 nbRestartNogoods=275
1281.90 => wckTime=1279.239 cpuTime=1272.92 mem=66M68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-206788-1168074076 -o ROOT/results/node51/solver-206788-1168074076 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206788-1168074076/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.85 0.97 1.10 4/76 31380
/proc/meminfo: memFree=1466152/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=18540 CPUtime=0
/proc/31379/stat : 31379 (runsolver) R 31376 31379 31234 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155806507 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31379/statm: 4635 279 244 17 0 2626 0
[startup+0.103354 s]
/proc/loadavg: 0.85 0.97 1.10 4/76 31380
/proc/meminfo: memFree=1466152/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=913236 CPUtime=0.07
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 2921 0 1 0 6 1 0 0 17 0 8 0 155806507 935153664 2667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151971088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913236
[startup+0.511395 s]
/proc/loadavg: 0.85 0.97 1.10 4/76 31380
/proc/meminfo: memFree=1466152/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915328 CPUtime=0.48
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 7572 0 1 0 43 5 0 0 20 0 8 0 155806507 937295872 7312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228832 7313 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33454 s]
/proc/loadavg: 0.85 0.97 1.10 3/93 31397
/proc/meminfo: memFree=1331680/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915328 CPUtime=1.3
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 19100 0 1 0 120 10 0 0 25 0 8 0 155806507 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228832 18838 2149 14 0 215302 0
[pid=31379/tid=31385] ppid=31376 vsize=915328 CPUtime=0.06
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 2681 0 0 0 5 1 0 0 17 0 8 0 155806511 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915328 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915328 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915328 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915328 CPUtime=0.08
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915328 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915328 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98782 s]
/proc/loadavg: 0.85 0.97 1.10 5/92 31403
/proc/meminfo: memFree=1250216/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=2.92
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32429 0 1 0 275 17 0 0 25 0 8 0 155806507 937410560 32163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32163 2521 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.21
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 375 0 0 0 21 0 0 0 15 0 8 0 155806515 937410560 32163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32163 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) 915440
[startup+6.27338 s]
/proc/loadavg: 1.02 1.00 1.11 3/93 31415
/proc/meminfo: memFree=1227104/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=6.18
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32443 0 1 0 600 18 0 0 25 0 8 0 155806507 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32174 2521 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 17 0 8 0 155806511 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.25
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 387 0 0 0 24 1 0 0 15 0 8 0 155806515 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915440
[startup+12.7655 s]
/proc/loadavg: 1.10 1.02 1.12 3/93 31431
/proc/meminfo: memFree=1227168/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=12.63
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32462 0 1 0 1245 18 0 0 25 0 8 0 155806507 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32189 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440
[startup+25.6207 s]
/proc/loadavg: 1.30 1.06 1.13 3/93 31453
/proc/meminfo: memFree=1227352/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=25.4
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32462 0 1 0 2522 18 0 0 25 0 8 0 155806507 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32189 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915440
[startup+51.25 s]
/proc/loadavg: 1.54 1.14 1.15 3/93 31477
/proc/meminfo: memFree=1227480/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=50.87
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32462 0 1 0 5069 18 0 0 25 0 8 0 155806507 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32189 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915440
[startup+102.489 s]
/proc/loadavg: 1.84 1.28 1.20 4/87 31511
/proc/meminfo: memFree=1228496/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=101.82
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32462 0 1 0 10164 18 0 0 25 0 8 0 155806507 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32189 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 915440
[startup+162.566 s]
/proc/loadavg: 1.94 1.41 1.25 3/87 31511
/proc/meminfo: memFree=1228496/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=161.62
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32463 0 1 0 16144 18 0 0 25 0 8 0 155806507 937410560 32189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.26
Current children cumulated vsize (KiB) 915440
[startup+1484.27 s]
/proc/loadavg: 2.01 2.01 1.80 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=1477.05
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32464 0 1 0 147686 19 0 0 25 0 8 0 155806507 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32190 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.05
Current children cumulated vsize (KiB) 915440
[startup+1544.35 s]
/proc/loadavg: 2.00 2.00 1.81 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=1536.84
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32464 0 1 0 153665 19 0 0 25 0 8 0 155806507 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32190 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.84
Current children cumulated vsize (KiB) 915440
[startup+1604.42 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=1596.63
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32464 0 1 0 159644 19 0 0 25 0 8 0 155806507 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32190 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.63
Current children cumulated vsize (KiB) 915440
[startup+1664.51 s]
/proc/loadavg: 2.10 2.03 1.84 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=1656.42
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32464 0 1 0 165623 19 0 0 25 0 8 0 155806507 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32190 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.42
Current children cumulated vsize (KiB) 915440
[startup+1724.58 s]
/proc/loadavg: 2.04 2.02 1.85 3/87 31513
/proc/meminfo: memFree=1228112/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=1716.22
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32464 0 1 0 171603 19 0 0 25 0 8 0 155806507 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32190 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.22
Current children cumulated vsize (KiB) 915440
[startup+1784.66 s]
/proc/loadavg: 2.01 2.02 1.85 3/87 31513
/proc/meminfo: memFree=1228112/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=1776.01
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32464 0 1 0 177582 19 0 0 25 0 8 0 155806507 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32190 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.01
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.83 s]
/proc/loadavg: 2.01 2.01 1.85 2/75 31515
/proc/meminfo: memFree=1348400/2055920 swapFree=4192812/4192956
[pid=31379] ppid=31376 vsize=915440 CPUtime=1800.06
/proc/31379/stat : 31379 (java) R 31376 31379 31234 0 -1 0 32464 0 1 0 179987 19 0 0 25 0 8 0 155806507 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31379/statm: 228860 32190 2522 14 0 215330 0
[pid=31379/tid=31385] ppid=31376 vsize=915440 CPUtime=0.45
/proc/31379/task/31385/stat : 31385 (java) S 31376 31379 31234 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155806511 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31388] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31388/stat : 31388 (java) S 31376 31379 31234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31389] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31389/stat : 31389 (java) S 31376 31379 31234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31394] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31394/stat : 31394 (java) S 31376 31379 31234 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31395] ppid=31376 vsize=915440 CPUtime=0.28
/proc/31379/task/31395/stat : 31395 (java) S 31376 31379 31234 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31396] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31396/stat : 31396 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31379/tid=31397] ppid=31376 vsize=915440 CPUtime=0
/proc/31379/task/31397/stat : 31397 (java) S 31376 31379 31234 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.86
CPU time (s): 1800.11
CPU user time (s): 1799.89
CPU system time (s): 0.219966
CPU usage (%): 99.516
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32481
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= 37782
involuntary context switches= 57747
runsolver used 1.68974 s user time and 4.87726 s system time
The end
Begin job on node51 on Sat Jan 6 09:01:18 UTC 2007
IDJOB= 206788
IDBENCH= 4235
FILE ID= node51/206788-1168074076
PBS_JOBID= 3476008
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206788-1168074076/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-206788-1168074076 -o ROOT/results/node51/solver-206788-1168074076 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206788-1168074076/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 75421af82a123eb780615cae7a8eb013
RANDOM SEED= 681826101
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.277
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.277
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: 1466832 kB
Buffers: 30324 kB
Cached: 467300 kB
SwapCached: 0 kB
Active: 70240 kB
Inactive: 448244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1466832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 15164 kB
Writeback: 0 kB
Mapped: 31436 kB
Slab: 55844 kB
Committed_AS: 3002480 kB
PageTables: 1936 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= 66534 MiB
End job on node51 on Sat Jan 6 09:31:29 UTC 2007