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/196222-1168070457/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.97
0.97 constraints being loaded...
1.28 nbConstraints=72 nbRelationTypes=72 nbExtensionStructures=72 nbSharedExtensionStructures=0
1.28 nbConflictsStructures=72 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
1.28 => wckTime=0.968 cpuTime=0.84 mem=44M45
1.39
1.39 solver IterativeSystematicSolver being built...
1.57 => wckTime=1.251 cpuTime=0.97 mem=33M160
1.57
1.57 preprocessing
1.57 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.57 detectedInconsistency=no
1.57 => wckTime=0.0040 cpuTime=0.01 mem=33M160
1.68
1.68 search
1.68 run=0 nbConstraintChecks=23749 nbValidityChecks=41384 nbPropagations=327 nbRevisions=3061
1.68 nbUselessRevisions=2372 nbAssignments=26 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=43
1.68 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.115 cpuTime=0.09 mem=34M200
1.82
1.82 search
1.82 run=1 nbConstraintChecks=98042 nbValidityChecks=187762 nbPropagations=1423 nbRevisions=14700
1.82 nbUselessRevisions=11281 nbAssignments=78 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=140
1.82 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.256 cpuTime=0.22 mem=34M200
1.96
1.96 search
1.96 run=2 nbConstraintChecks=181103 nbValidityChecks=320905 nbPropagations=3116 nbRevisions=33059
1.96 nbUselessRevisions=25284 nbAssignments=130 nbFailedAssignments=67 nbBacktracks=48 nbVisitedNodes=229
1.96 nbRestartNogoods=8 mapSize=41 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.395 cpuTime=0.34 mem=34M200
2.18
2.18 search
2.18 run=3 nbConstraintChecks=321109 nbValidityChecks=580067 nbPropagations=6226 nbRevisions=66516
2.18 nbUselessRevisions=50815 nbAssignments=234 nbFailedAssignments=132 nbBacktracks=83 nbVisitedNodes=425
2.18 nbRestartNogoods=11 mapSize=75 nbInferences=0 nbTooLargeKeys=0
2.18 => wckTime=0.611 cpuTime=0.55 mem=34M200
2.42
2.42 search
2.42 run=4 nbConstraintChecks=461394 nbValidityChecks=839155 nbPropagations=10748 nbRevisions=115932
2.42 nbUselessRevisions=88803 nbAssignments=355 nbFailedAssignments=197 nbBacktracks=135 nbVisitedNodes=644
2.42 nbRestartNogoods=16 mapSize=124 nbInferences=0 nbTooLargeKeys=0
2.42 => wckTime=0.848 cpuTime=0.78 mem=34M200
2.80
2.80 search
2.80 run=5 nbConstraintChecks=709214 nbValidityChecks=1292797 nbPropagations=17643 nbRevisions=191218
2.80 nbUselessRevisions=146790 nbAssignments=538 nbFailedAssignments=299 nbBacktracks=210 nbVisitedNodes=978
2.80 nbRestartNogoods=23 mapSize=192 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.236 cpuTime=1.16 mem=34M200
3.33
3.33 search
3.33 run=6 nbConstraintChecks=1011610 nbValidityChecks=1877704 nbPropagations=27958 nbRevisions=305700
3.33 nbUselessRevisions=235176 nbAssignments=821 nbFailedAssignments=464 nbBacktracks=323 nbVisitedNodes=1506
3.33 nbRestartNogoods=34 mapSize=302 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=1.759 cpuTime=1.65 mem=34M200
4.40
4.40 search
4.41 run=7 nbConstraintChecks=1645569 nbValidityChecks=3153195 nbPropagations=44740 nbRevisions=492290
4.41 nbUselessRevisions=378782 nbAssignments=1305 nbFailedAssignments=773 nbBacktracks=494 nbVisitedNodes=2425
4.41 nbRestartNogoods=44 mapSize=465 nbInferences=0 nbTooLargeKeys=0
4.41 => wckTime=2.837 cpuTime=2.71 mem=34M200
5.62
5.62 search
5.62 run=8 nbConstraintChecks=2444592 nbValidityChecks=4632442 nbPropagations=68695 nbRevisions=760692
5.62 nbUselessRevisions=586522 nbAssignments=1956 nbFailedAssignments=1164 nbBacktracks=750 nbVisitedNodes=3629
5.62 nbRestartNogoods=54 mapSize=690 nbInferences=0 nbTooLargeKeys=0
5.62 => wckTime=4.051 cpuTime=3.9 mem=34M200
7.38
7.38 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=34M200)
7.55
7.55 search
7.55 run=9 nbConstraintChecks=3755546 nbValidityChecks=6936555 nbPropagations=104616 nbRevisions=1158568
7.55 nbUselessRevisions=894746 nbAssignments=2857 nbFailedAssignments=1675 nbBacktracks=1135 nbVisitedNodes=5289
7.55 nbRestartNogoods=60
7.55 => wckTime=5.981 cpuTime=5.77 mem=34M200
9.91
9.91 search
9.91 run=10 nbConstraintChecks=5265058 nbValidityChecks=9867669 nbPropagations=156777 nbRevisions=1742847
9.91 nbUselessRevisions=1348857 nbAssignments=4271 nbFailedAssignments=2506 nbBacktracks=1712 nbVisitedNodes=7891
9.91 nbRestartNogoods=69
9.91 => wckTime=8.343 cpuTime=8.11 mem=34M200
13.59
13.59 search
13.59 run=11 nbConstraintChecks=7780707 nbValidityChecks=14477027 nbPropagations=234313 nbRevisions=2609392
13.59 nbUselessRevisions=2021345 nbAssignments=6257 nbFailedAssignments=3622 nbBacktracks=2579 nbVisitedNodes=11543
13.59 nbRestartNogoods=73
13.59 => wckTime=12.022 cpuTime=11.77 mem=34M200
19.76
19.76 search
19.76 run=12 nbConstraintChecks=11792987 nbValidityChecks=21956863 nbPropagations=349599 nbRevisions=3940765
19.76 nbUselessRevisions=3058321 nbAssignments=9455 nbFailedAssignments=5515 nbBacktracks=3878 nbVisitedNodes=17554
19.76 nbRestartNogoods=76
19.76 => wckTime=18.191 cpuTime=17.9 mem=34M200
29.78
29.78 search
29.78 run=13 nbConstraintChecks=18935014 nbValidityChecks=34400435 nbPropagations=520765 nbRevisions=5923389
29.78 nbUselessRevisions=4606307 nbAssignments=14554 nbFailedAssignments=8662 nbBacktracks=5824 nbVisitedNodes=27050
29.78 nbRestartNogoods=85
29.78 => wckTime=28.214 cpuTime=27.86 mem=34M200
43.98
43.98 search
43.98 run=14 nbConstraintChecks=28801225 nbValidityChecks=52201268 nbPropagations=781836 nbRevisions=8910968
43.98 nbUselessRevisions=6934408 nbAssignments=21583 nbFailedAssignments=12768 nbBacktracks=8743 nbVisitedNodes=40051
43.98 nbRestartNogoods=93
43.98 => wckTime=42.416 cpuTime=41.96 mem=34M200
64.77
64.77 search
64.77 run=15 nbConstraintChecks=42303272 nbValidityChecks=77535549 nbPropagations=1171551 nbRevisions=13484283
64.77 nbUselessRevisions=10504447 nbAssignments=32568 nbFailedAssignments=19370 nbBacktracks=13121
64.77 nbVisitedNodes=60630 nbRestartNogoods=106
64.77 => wckTime=63.205 cpuTime=62.64 mem=34M200
95.12
95.12 search
95.12 run=16 nbConstraintChecks=63699261 nbValidityChecks=115938008 nbPropagations=1755132 nbRevisions=20194739
95.12 nbUselessRevisions=15735036 nbAssignments=48174 nbFailedAssignments=28402 nbBacktracks=19692
95.12 nbVisitedNodes=89320 nbRestartNogoods=128
95.12 => wckTime=93.557 cpuTime=92.82 mem=34M200
141.04
141.04 search
141.04 run=17 nbConstraintChecks=94437723 nbValidityChecks=172572644 nbPropagations=2627170 nbRevisions=30316735
141.04 nbUselessRevisions=23631740 nbAssignments=71991 nbFailedAssignments=42361 nbBacktracks=29544
141.04 nbVisitedNodes=133592 nbRestartNogoods=147
141.04 => wckTime=139.469 cpuTime=138.49 mem=34M200
216.19
216.19 search
216.19 run=18 nbConstraintChecks=143986633 nbValidityChecks=264567697 nbPropagations=3959561 nbRevisions=46165248
216.19 nbUselessRevisions=36026933 nbAssignments=111847 nbFailedAssignments=67433 nbBacktracks=44322
216.19 nbVisitedNodes=209195 nbRestartNogoods=155
216.19 => wckTime=214.621 cpuTime=213.29 mem=34M200
319.84
319.84 search
319.84 run=19 nbConstraintChecks=216671612 nbValidityChecks=393692039 nbPropagations=5922709 nbRevisions=69217703
319.84 nbUselessRevisions=54030148 nbAssignments=164117 nbFailedAssignments=97529 nbBacktracks=66491
319.84 nbVisitedNodes=305336 nbRestartNogoods=185
319.84 => wckTime=318.273 cpuTime=316.45 mem=34M200
473.61
473.61 search
473.61 run=20 nbConstraintChecks=319815956 nbValidityChecks=583577645 nbPropagations=8847508 nbRevisions=103649349
473.61 nbUselessRevisions=80947525 nbAssignments=243917 nbFailedAssignments=144072 nbBacktracks=99743
473.61 nbVisitedNodes=453235 nbRestartNogoods=206
473.61 => wckTime=472.038 cpuTime=469.49 mem=34M200
712.71
712.71 search
712.71 run=21 nbConstraintChecks=480557380 nbValidityChecks=879536229 nbPropagations=13253506 nbRevisions=155893525
712.71 nbUselessRevisions=121831616 nbAssignments=368067 nbFailedAssignments=218338 nbBacktracks=149624
712.71 nbVisitedNodes=685120 nbRestartNogoods=230
712.71 => wckTime=711.139 cpuTime=708.2 mem=34M200
1062.32
1062.32 search
1062.32 run=22 nbConstraintChecks=721693357 nbValidityChecks=1316746433 nbPropagations=19846956 nbRevisions=233466020
1062.32 nbUselessRevisions=182517029 nbAssignments=545564 nbFailedAssignments=321011 nbBacktracks=224444
1062.32 nbVisitedNodes=1013546 nbRestartNogoods=250
1062.32 => wckTime=1060.754 cpuTime=1057.69 mem=34M200
1118.33
1118.33 search
1118.33 run=23 nbConstraintChecks=759653527 nbValidityChecks=1386273951 nbPropagations=26792183 nbRevisions=315226411
1118.33 nbUselessRevisions=246475587 nbAssignments=574601 nbFailedAssignments=338371 nbBacktracks=236097
1118.33 nbVisitedNodes=1067667 nbRestartNogoods=264
1118.33 => wckTime=1116.758 cpuTime=1113.67 mem=34M200
1118.33
1118.33 global
1118.33 nbConstraintChecks=759653527 nbValidityChecks=1386273951 nbPropagations=26792207 nbRevisions=315226411
1118.33 nbUselessRevisions=246475587 nbRestartNogoods=264 solvingWckTime=1116.759 solvingCpuTime=1113.67 expiredTime=no
1118.33 totalExploration=no nbFoundSolutions=1 globalCpuTime=1114.68
1118.33 => wckTime=1118.013 cpuTime=1114.64 mem=34M200
1118.33
1118.33 s SATISFIABLE
1118.33 v 2 13 19 9 7 18 9 20 2 4 13 0 8 22 13 23 7 23 12 5 10 22 21 1
1118.33 d NODES 574601
1118.33 d CHECKS 759653527
1118.33
1118.33 totalWckTime=1118.095 totalCpuTime=1114.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-196222-1168070457 -o ROOT/results/node35/solver-196222-1168070457 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196222-1168070457/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.94 4/80 11285
/proc/meminfo: memFree=1674688/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=906644 CPUtime=0.01
/proc/11284/stat : 11284 (java) S 11282 11284 10847 0 -1 0 2069 0 1 0 1 0 0 0 18 0 2 0 155439392 928403456 1818 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 226661 1818 1036 14 0 214244 0
[pid=11284/tid=11286] ppid=11282 vsize=906644 CPUtime=0
/proc/11284/task/11286/stat : 11286 (java) R 11282 11284 10847 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155439396 928403456 1818 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102745 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 11285
/proc/meminfo: memFree=1674688/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=914988 CPUtime=0.08
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 2984 0 1 0 7 1 0 0 19 0 8 0 155439392 936947712 2730 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155770499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228747 2730 1426 14 0 215242 0
[pid=11284/tid=11286] ppid=11282 vsize=914988 CPUtime=0
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155439396 936947712 2730 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510791 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 11285
/proc/meminfo: memFree=1674688/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915328 CPUtime=0.48
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 7399 0 1 0 44 4 0 0 18 0 8 0 155439392 937295872 7138 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155769855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228832 7138 2137 14 0 215302 0
[pid=11284/tid=11286] ppid=11282 vsize=915328 CPUtime=0
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155439396 937295872 7138 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33389 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11292
/proc/meminfo: memFree=1607560/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=1.3
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 19141 0 1 0 120 10 0 0 24 0 8 0 155439392 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 18878 2169 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.09
/proc/11284/task/11286/stat : 11286 (java) R 11282 11284 10847 0 -1 64 2662 0 0 0 9 0 0 0 16 0 8 0 155439396 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155523553 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.1
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 315 0 0 0 10 0 0 0 16 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 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) 915416
[startup+2.98709 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11292
/proc/meminfo: memFree=1592584/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=2.93
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23204 0 1 0 280 13 0 0 25 0 8 0 155439392 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073748355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22939 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 17 0 8 0 155439396 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.2
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 366 0 0 0 19 1 0 0 15 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416
[startup+6.26947 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11318
/proc/meminfo: memFree=1591176/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=6.13
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23219 0 1 0 599 14 0 0 25 0 8 0 155439392 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22952 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 17 0 8 0 155439396 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.22
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915416
[startup+12.751 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11364
/proc/meminfo: memFree=1591104/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=12.56
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23225 0 1 0 1242 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073620948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915416
[startup+25.5966 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11394
/proc/meminfo: memFree=1591360/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=25.32
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 2518 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073751049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915416
[startup+51.2066 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11434
/proc/meminfo: memFree=1591368/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=50.77
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 5063 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073752711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915416
[startup+102.416 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11490
/proc/meminfo: memFree=1592384/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=101.67
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 10153 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073751049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 915416
################
# More data... #
################
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.83
Current children cumulated vsize (KiB) 915416
[startup+702.72 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11490
/proc/meminfo: memFree=1592528/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=699.84
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 69970 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.84
Current children cumulated vsize (KiB) 915416
[startup+762.747 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11490
/proc/meminfo: memFree=1592464/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=759.85
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 75971 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073743259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.85
Current children cumulated vsize (KiB) 915416
[startup+822.776 s]
/proc/loadavg: 2.07 2.02 1.94 3/87 11490
/proc/meminfo: memFree=1592400/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=819.86
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 81972 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.86
Current children cumulated vsize (KiB) 915416
[startup+882.804 s]
/proc/loadavg: 2.02 2.01 1.94 3/87 11490
/proc/meminfo: memFree=1592400/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=879.87
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 87973 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073620963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 879.87
Current children cumulated vsize (KiB) 915416
[startup+942.83 s]
/proc/loadavg: 1.93 1.99 1.94 3/87 11548
/proc/meminfo: memFree=1595016/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=939.86
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 93971 15 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073745143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 939.86
Current children cumulated vsize (KiB) 915416
[startup+1002.86 s]
/proc/loadavg: 2.04 2.00 1.94 4/87 11548
/proc/meminfo: memFree=1594192/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=999.87
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 99972 15 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 999.87
Current children cumulated vsize (KiB) 915416
[startup+1062.88 s]
/proc/loadavg: 2.01 2.00 1.94 3/87 11548
/proc/meminfo: memFree=1594192/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=1059.87
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 105972 15 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073763171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1059.87
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 1118.36
CPU time (s): 1115.33
CPU user time (s): 1115.16
CPU system time (s): 0.173973
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1115.16
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23232
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= 23719
involuntary context switches= 30875
runsolver used 1.07384 s user time and 2.98955 s system time
The end
Begin job on node35 on Sat Jan 6 08:00:57 UTC 2007
IDJOB= 196222
IDBENCH= 3335
FILE ID= node35/196222-1168070457
PBS_JOBID= 3475659
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196222-1168070457/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-196222-1168070457 -o ROOT/results/node35/solver-196222-1168070457 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196222-1168070457/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1a2e5d96c6a61872cb1b48a21e2dca23
RANDOM SEED= 801476074
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.234
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.234
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: 1675168 kB
Buffers: 24368 kB
Cached: 231720 kB
SwapCached: 0 kB
Active: 80084 kB
Inactive: 224316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1675168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4336 kB
Writeback: 0 kB
Mapped: 68528 kB
Slab: 61552 kB
Committed_AS: 3794164 kB
PageTables: 1888 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= 66555 MiB
End job on node35 on Sat Jan 6 08:19:36 UTC 2007