0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/219035-1168079763/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.52 nbVariables=400 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.52 => wckTime=0.142 cpuTime=0.11 mem=8M25
0.52
0.52 predicates being loaded...
0.53
0.53 constraints being loaded...
5.02
5.02 INFO : Stopping converting binary constraints (cpu=4.01, mem = 93M634)
5.66 nbConstraints=36100 nbConflictsStructures=1 nbSharedConflictsStructures=36099 nbSharedBinaryRepresentations=0
5.66 nbEvaluationManagers=1 nbSharedEvaluationManagers=36099 maxDegree=361 maxArity=4
5.66 => wckTime=5.273 cpuTime=4.35 mem=104M920
5.90
5.90 solver IterativeSystematicSolver being built...
6.98 => wckTime=6.597 cpuTime=5.12 mem=148M299
7.08
7.08 preprocessing
7.08 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
7.08 detectedInconsistency=no
7.08 => wckTime=0.097 cpuTime=0.09 mem=152M390
7.31
7.31 search
7.31 run=0 nbConstraintChecks=4152 nbValidityChecks=3599 nbPropagations=677 nbRevisions=3614
7.31 nbUselessRevisions=3142 nbAssignments=80 nbFailedAssignments=9 nbBacktracks=30 nbVisitedNodes=97
7.31 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
7.32 => wckTime=0.331 cpuTime=0.29 mem=153M429
7.42
7.42 search
7.42 run=1 nbConstraintChecks=7258 nbValidityChecks=6576 nbPropagations=1552 nbRevisions=9302
7.42 nbUselessRevisions=8190 nbAssignments=161 nbFailedAssignments=23 nbBacktracks=51 nbVisitedNodes=204
7.42 nbRestartNogoods=1 mapSize=28 nbInferences=0 nbTooLargeKeys=0
7.42 => wckTime=0.434 cpuTime=0.39 mem=153M429
7.60
7.60 search
7.60 run=2 nbConstraintChecks=14269 nbValidityChecks=12311 nbPropagations=2713 nbRevisions=19419
7.60 nbUselessRevisions=17283 nbAssignments=262 nbFailedAssignments=31 nbBacktracks=74 nbVisitedNodes=319
7.60 nbRestartNogoods=8 mapSize=37 nbInferences=0 nbTooLargeKeys=0
7.60 => wckTime=0.618 cpuTime=0.55 mem=153M429
7.76
7.76 search
7.76 run=3 nbConstraintChecks=18727 nbValidityChecks=18987 nbPropagations=4182 nbRevisions=33401
7.76 nbUselessRevisions=29857 nbAssignments=358 nbFailedAssignments=42 nbBacktracks=107 nbVisitedNodes=437
7.76 nbRestartNogoods=13 mapSize=54 nbInferences=0 nbTooLargeKeys=0
7.76 => wckTime=0.775 cpuTime=0.7 mem=153M429
7.90
7.90 search
7.90 run=4 nbConstraintChecks=25391 nbValidityChecks=27575 nbPropagations=5981 nbRevisions=51217
7.90 nbUselessRevisions=45856 nbAssignments=464 nbFailedAssignments=64 nbBacktracks=161 nbVisitedNodes=585
7.90 nbRestartNogoods=18 mapSize=86 nbInferences=0 nbTooLargeKeys=0
7.90 => wckTime=0.914 cpuTime=0.84 mem=153M429
8.10
8.10 search
8.10 run=5 nbConstraintChecks=35084 nbValidityChecks=39483 nbPropagations=8286 nbRevisions=75998
8.10 nbUselessRevisions=68295 nbAssignments=623 nbFailedAssignments=104 nbBacktracks=239 nbVisitedNodes=819
8.10 nbRestartNogoods=23 mapSize=145 nbInferences=0 nbTooLargeKeys=0
8.10 => wckTime=1.116 cpuTime=1.02 mem=153M429
8.33
8.33 search
8.33 run=6 nbConstraintChecks=45349 nbValidityChecks=52523 nbPropagations=11185 nbRevisions=108318
8.33 nbUselessRevisions=97609 nbAssignments=826 nbFailedAssignments=154 nbBacktracks=352 nbVisitedNodes=1112
8.33 nbRestartNogoods=27 mapSize=214 nbInferences=0 nbTooLargeKeys=0
8.33 => wckTime=1.351 cpuTime=1.25 mem=153M429
8.66
8.66 search
8.66 run=7 nbConstraintChecks=61285 nbValidityChecks=72635 nbPropagations=14986 nbRevisions=152169
8.66 nbUselessRevisions=137438 nbAssignments=1112 nbFailedAssignments=226 nbBacktracks=525 nbVisitedNodes=1545
8.66 nbRestartNogoods=35 mapSize=329 nbInferences=0 nbTooLargeKeys=0
8.66 => wckTime=1.678 cpuTime=1.58 mem=153M429
9.16
9.16 search
9.16 run=8 nbConstraintChecks=79376 nbValidityChecks=95583 nbPropagations=20090 nbRevisions=209699
9.16 nbUselessRevisions=189449 nbAssignments=1521 nbFailedAssignments=343 nbBacktracks=782 nbVisitedNodes=2172
9.16 nbRestartNogoods=42 mapSize=499 nbInferences=0 nbTooLargeKeys=0
9.16 => wckTime=2.179 cpuTime=2.05 mem=153M429
9.92
9.92 search
9.92 run=9 nbConstraintChecks=113863 nbValidityChecks=140075 nbPropagations=27110 nbRevisions=293067
9.92 nbUselessRevisions=265067 nbAssignments=2097 nbFailedAssignments=500 nbBacktracks=1171 nbVisitedNodes=3076
9.92 nbRestartNogoods=53 mapSize=765 nbInferences=0 nbTooLargeKeys=0
9.92 => wckTime=2.935 cpuTime=2.79 mem=153M429
10.65
10.65 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=153M429)
10.99
10.99 search
10.99 run=10 nbConstraintChecks=170000 nbValidityChecks=211413 nbPropagations=37026 nbRevisions=418279
10.99 nbUselessRevisions=379177 nbAssignments=2976 nbFailedAssignments=755 nbBacktracks=1750 nbVisitedNodes=4456
10.99 nbRestartNogoods=54
10.99 => wckTime=4.012 cpuTime=3.85 mem=153M429
12.49
12.49 search
12.49 run=11 nbConstraintChecks=251917 nbValidityChecks=318467 nbPropagations=51041 nbRevisions=608398
12.49 nbUselessRevisions=553415 nbAssignments=4245 nbFailedAssignments=1110 nbBacktracks=2614 nbVisitedNodes=6427
12.49 nbRestartNogoods=64
12.49 => wckTime=5.512 cpuTime=5.33 mem=153M429
14.54
14.54 search
14.54 run=12 nbConstraintChecks=365337 nbValidityChecks=464788 nbPropagations=70691 nbRevisions=883698
14.54 nbUselessRevisions=806358 nbAssignments=6079 nbFailedAssignments=1603 nbBacktracks=3911 nbVisitedNodes=9210
14.54 nbRestartNogoods=72
14.54 => wckTime=7.561 cpuTime=7.37 mem=153M429
17.74
17.74 search
17.74 run=13 nbConstraintChecks=549054 nbValidityChecks=700411 nbPropagations=99064 nbRevisions=1298239
17.74 nbUselessRevisions=1188431 nbAssignments=8844 nbFailedAssignments=2375 nbBacktracks=5859 nbVisitedNodes=13431
17.74 nbRestartNogoods=78
17.74 => wckTime=10.756 cpuTime=10.53 mem=153M429
22.43
22.43 search
22.43 run=14 nbConstraintChecks=811536 nbValidityChecks=1039142 nbPropagations=140106 nbRevisions=1908795
22.43 nbUselessRevisions=1751894 nbAssignments=12944 nbFailedAssignments=3509 nbBacktracks=8783 nbVisitedNodes=19694
22.43 nbRestartNogoods=85
22.43 => wckTime=15.449 cpuTime=15.17 mem=153M429
28.80
28.80 search
28.80 run=15 nbConstraintChecks=1108606 nbValidityChecks=1421520 nbPropagations=200124 nbRevisions=2753361
28.80 nbUselessRevisions=2530214 nbAssignments=19205 nbFailedAssignments=5350 nbBacktracks=13165 nbVisitedNodes=29520
28.80 nbRestartNogoods=92
28.80 => wckTime=21.814 cpuTime=21.47 mem=153M429
41.41
41.41 search
41.41 run=16 nbConstraintChecks=1880399 nbValidityChecks=2531943 nbPropagations=292330 nbRevisions=4207604
41.41 nbUselessRevisions=3875905 nbAssignments=27901 nbFailedAssignments=7431 nbBacktracks=19733 nbVisitedNodes=42428
41.41 nbRestartNogoods=98
41.41 => wckTime=34.425 cpuTime=33.98 mem=153M429
57.83
57.83 search
57.83 run=17 nbConstraintChecks=2615429 nbValidityChecks=3501510 nbPropagations=430944 nbRevisions=6233968
57.83 nbUselessRevisions=5743143 nbAssignments=41778 nbFailedAssignments=11416 nbBacktracks=29586
57.83 nbVisitedNodes=64174 nbRestartNogoods=108
57.83 => wckTime=50.848 cpuTime=50.21 mem=153M429
83.22
83.22 search
83.22 run=18 nbConstraintChecks=3518893 nbValidityChecks=4813938 nbPropagations=638897 nbRevisions=9102249
83.22 nbUselessRevisions=8380511 nbAssignments=62050 nbFailedAssignments=16869 nbBacktracks=44368
83.22 nbVisitedNodes=94957 nbRestartNogoods=120
83.22 => wckTime=76.239 cpuTime=75.35 mem=153M429
130.00
130.00 search
130.00 run=19 nbConstraintChecks=6276906 nbValidityChecks=9009556 nbPropagations=961951 nbRevisions=14338615
130.00 nbUselessRevisions=13238064 nbAssignments=90870 nbFailedAssignments=23468 nbBacktracks=66536
130.00 nbVisitedNodes=136802 nbRestartNogoods=130
130.00 => wckTime=123.018 cpuTime=121.68 mem=153M429
222.11
222.11 search
222.11 run=20 nbConstraintChecks=11480735 nbValidityChecks=17228749 nbPropagations=1508964 nbRevisions=24209891
222.11 nbUselessRevisions=22422121 nbAssignments=135525 nbFailedAssignments=34815 nbBacktracks=99792
222.11 nbVisitedNodes=204430 nbRestartNogoods=137
222.11 => wckTime=215.127 cpuTime=212.87 mem=153M429
312.11
312.11 search
312.11 run=21 nbConstraintChecks=16195806 nbValidityChecks=23592953 nbPropagations=2303300 nbRevisions=37784830
312.11 nbUselessRevisions=35033357 nbAssignments=206236 nbFailedAssignments=55607 nbBacktracks=149670
312.11 nbVisitedNodes=315407 nbRestartNogoods=144
312.11 => wckTime=305.127 cpuTime=301.99 mem=153M429
491.46
491.46 search
491.46 run=22 nbConstraintChecks=25848507 nbValidityChecks=38645723 nbPropagations=3548019 nbRevisions=59724816
491.46 nbUselessRevisions=55430984 nbAssignments=307511 nbFailedAssignments=82005 nbBacktracks=224490
491.46 nbVisitedNodes=468650 nbRestartNogoods=155
491.46 => wckTime=484.482 cpuTime=479.56 mem=153M429
753.10
753.10 search
753.10 run=23 nbConstraintChecks=39650881 nbValidityChecks=60750732 nbPropagations=5461386 nbRevisions=93999236
753.10 nbUselessRevisions=87363410 nbAssignments=460074 nbFailedAssignments=122291 nbBacktracks=336721
753.10 nbVisitedNodes=701912 nbRestartNogoods=169
753.10 => wckTime=746.121 cpuTime=738.61 mem=153M429
1153.15
1153.16 search
1153.16 run=24 nbConstraintChecks=60963849 nbValidityChecks=97567339 nbPropagations=8318050 nbRevisions=148582431
1153.16 nbUselessRevisions=138301843 nbAssignments=672830 nbFailedAssignments=166650 nbBacktracks=505062
1153.16 nbVisitedNodes=1003550 nbRestartNogoods=183
1153.16 => wckTime=1146.173 cpuTime=1134.71 mem=153M429
1757.67
1757.67 search
1757.67 run=25 nbConstraintChecks=95065385 nbValidityChecks=147254413 nbPropagations=12675319 nbRevisions=231075512
1757.67 nbUselessRevisions=215126676 nbAssignments=1019008 nbFailedAssignments=260259 nbBacktracks=757573
1757.67 nbVisitedNodes=1535630 nbRestartNogoods=198
1757.67 => wckTime=1750.688 cpuTime=1736.5 mem=153M429
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-219035-1168079763 -o ROOT/results/node24/solver-219035-1168079763 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/219035-1168079763/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.84 1.90 1.86 5/93 17859
/proc/meminfo: memFree=1752112/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=1500 CPUtime=0
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 264 0 0 0 0 0 0 0 18 0 1 0 156371686 1536000 69 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2576992 0 0 4096 0 0 0 0 17 1 0 0
/proc/17858/statm: 375 69 54 14 0 8 0
[startup+0.103103 s]
/proc/loadavg: 1.84 1.90 1.86 5/93 17859
/proc/meminfo: memFree=1752112/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=47416 CPUtime=0
/proc/17858/stat : 17858 (java) D 17856 17858 17435 0 -1 0 1211 0 1 0 0 0 0 0 18 0 1 0 156371686 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099855350 0 0 17 0 0 0
/proc/17858/statm: 11854 960 760 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416
[startup+0.51115 s]
/proc/loadavg: 1.84 1.90 1.86 5/93 17859
/proc/meminfo: memFree=1752112/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915328 CPUtime=0.4
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 6262 0 1 0 37 3 0 0 24 0 8 0 156371686 937295872 6001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228832 6001 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33325 s]
/proc/loadavg: 1.84 1.90 1.86 3/100 17866
/proc/meminfo: memFree=1690744/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915632 CPUtime=1.21
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 18377 0 1 0 112 9 0 0 25 0 8 0 156371686 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228908 18113 2158 14 0 215378 0
[pid=17858/tid=17860] ppid=17856 vsize=915632 CPUtime=0.06
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 1848 0 0 0 5 1 0 0 16 0 8 0 156371698 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156371699 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915632 CPUtime=0.15
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 156371702 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937607168 18113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915632
[startup+2.98542 s]
/proc/loadavg: 1.85 1.90 1.86 3/100 17866
/proc/meminfo: memFree=1680504/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915632 CPUtime=2.85
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 21808 0 1 0 272 13 0 0 25 0 8 0 156371686 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228908 21535 2178 14 0 215378 0
[pid=17858/tid=17860] ppid=17856 vsize=915632 CPUtime=0.28
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 5199 0 0 0 26 2 0 0 16 0 8 0 156371698 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156371699 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915632 CPUtime=0.16
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 414 0 0 0 16 0 0 0 16 0 8 0 156371702 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937607168 21535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915632
[startup+6.27878 s]
/proc/loadavg: 1.85 1.90 1.86 4/100 17866
/proc/meminfo: memFree=1591288/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915632 CPUtime=6.12
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 45645 0 1 0 499 113 0 0 25 0 8 0 156371686 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228908 45329 2497 14 0 215378 0
[pid=17858/tid=17860] ppid=17856 vsize=915632 CPUtime=1.01
/proc/17858/task/17860/stat : 17860 (java) R 17856 17858 17435 0 -1 64 28638 0 0 0 91 10 0 0 16 0 8 0 156371698 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822959 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915632 CPUtime=0.23
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 449 0 0 0 22 1 0 0 15 0 8 0 156371702 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915632 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937607168 45329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915632
[startup+12.7705 s]
/proc/loadavg: 1.95 1.92 1.87 3/100 17866
/proc/meminfo: memFree=1566024/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=12.52
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 1136 116 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074119192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 16 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915876
[startup+25.6139 s]
/proc/loadavg: 1.95 1.92 1.87 3/100 17866
/proc/meminfo: memFree=1566088/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=25.24
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 2408 116 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915876
[startup+51.2336 s]
/proc/loadavg: 1.97 1.93 1.87 3/100 17866
/proc/meminfo: memFree=1566216/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=50.6
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 4944 116 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915876
[startup+102.469 s]
/proc/loadavg: 1.99 1.94 1.88 3/100 17866
/proc/meminfo: memFree=1566152/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=101.31
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 10015 116 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 915876
[startup+162.553 s]
/proc/loadavg: 1.99 1.95 1.88 3/100 17866
/proc/meminfo: memFree=1566088/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=160.81
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 15965 116 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.31
Current children cumulated vsize (KiB) 915876
[startup+1484.29 s]
/proc/loadavg: 1.27 1.78 1.86 2/88 17912
/proc/meminfo: memFree=1592936/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=1470.28
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 146908 120 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074050153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.28
Current children cumulated vsize (KiB) 915876
[startup+1544.32 s]
/proc/loadavg: 1.36 1.72 1.83 2/94 18074
/proc/meminfo: memFree=1591584/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=1530.17
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 152897 120 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.17
Current children cumulated vsize (KiB) 915876
[startup+1604.37 s]
/proc/loadavg: 1.36 1.64 1.79 3/100 18178
/proc/meminfo: memFree=1431680/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=1590.15
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 158893 122 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074117656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.15
Current children cumulated vsize (KiB) 915876
[startup+1664.39 s]
/proc/loadavg: 1.91 1.75 1.82 3/100 18178
/proc/meminfo: memFree=1431744/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=1650.15
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 164893 122 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.15
Current children cumulated vsize (KiB) 915876
[startup+1724.47 s]
/proc/loadavg: 1.96 1.79 1.83 3/100 18178
/proc/meminfo: memFree=1431680/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=1710.23
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 170900 123 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074050153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.23
Current children cumulated vsize (KiB) 915876
[startup+1784.55 s]
/proc/loadavg: 1.98 1.83 1.83 3/100 18178
/proc/meminfo: memFree=1431680/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=1770.28
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 176905 123 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074042799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.28
Current children cumulated vsize (KiB) 915876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.36 s]
/proc/loadavg: 1.99 1.84 1.83 3/100 18178
/proc/meminfo: memFree=1431680/2055920 swapFree=4192812/4192956
[pid=17858] ppid=17856 vsize=915876 CPUtime=1800.1
/proc/17858/stat : 17858 (java) R 17856 17858 17435 0 -1 0 49300 0 1 0 179886 124 0 0 25 0 8 0 156371686 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17858/statm: 228969 48975 2538 14 0 215439 0
[pid=17858/tid=17860] ppid=17856 vsize=915876 CPUtime=1.19
/proc/17858/task/17860/stat : 17860 (java) S 17856 17858 17435 0 -1 64 32095 0 0 0 107 12 0 0 16 0 8 0 156371698 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17861] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17861/stat : 17861 (java) S 17856 17858 17435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17862] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17862/stat : 17862 (java) S 17856 17858 17435 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156371699 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17863] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17863/stat : 17863 (java) S 17856 17858 17435 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17864] ppid=17856 vsize=915876 CPUtime=0.36
/proc/17858/task/17864/stat : 17864 (java) S 17856 17858 17435 0 -1 64 550 0 0 0 34 2 0 0 17 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17865] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17865/stat : 17865 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17858/tid=17866] ppid=17856 vsize=915876 CPUtime=0
/proc/17858/task/17866/stat : 17866 (java) S 17856 17858 17435 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156371702 937857024 48975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.45
CPU time (s): 1800.18
CPU user time (s): 1798.91
CPU system time (s): 1.27181
CPU usage (%): 99.2137
Max. virtual memory (cumulated for all children) (KiB): 915884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.27181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49317
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= 38350
involuntary context switches= 76464
runsolver used 1.61475 s user time and 6.21905 s system time
The end
Begin job on node24 on Sat Jan 6 10:36:03 UTC 2007
IDJOB= 219035
IDBENCH= 5275
FILE ID= node24/219035-1168079763
PBS_JOBID= 3476090
Free space on /tmp= 66458 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-20-20-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/219035-1168079763/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-219035-1168079763 -o ROOT/results/node24/solver-219035-1168079763 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/219035-1168079763/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d0618c798d0e08d96dd944a8f7a18405
RANDOM SEED= 782889186
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: 1752592 kB
Buffers: 24852 kB
Cached: 125020 kB
SwapCached: 0 kB
Active: 154932 kB
Inactive: 80092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1752592 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8064 kB
Writeback: 0 kB
Mapped: 114148 kB
Slab: 52720 kB
Committed_AS: 3755528 kB
PageTables: 2460 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= 66457 MiB
End job on node24 on Sat Jan 6 11:06:19 UTC 2007