0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276117-1169231335/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=81 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.098 cpuTime=0.09 mem=6M910
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
0.80 nbConstraints=1296 nbConflictsStructures=1 nbSharedConflictsStructures=1295 nbSharedBinaryRepresentations=0
0.80 nbEvaluationManagers=1 nbSharedEvaluationManagers=1295 maxDegree=64 maxArity=4
0.80 => wckTime=0.504 cpuTime=0.39 mem=31M289
0.86
0.86 solver LocalSearchSolver being built...
0.89 => wckTime=0.599 cpuTime=0.43 mem=6M740
0.91
0.91 s SATISFIABLE
0.91 o 1153
0.91 c 143
0.91 o 1164
0.91 c 132
0.91 o 1174
0.91 c 122
0.91 o 1184
0.91 c 112
0.91 o 1192
0.91 c 104
0.91 o 1196
0.91 c 100
0.91 o 1200
0.91 c 96
0.92 o 1203
0.92 c 93
0.92 o 1206
0.92 c 90
0.92 o 1210
0.92 c 86
0.92 o 1212
0.92 c 84
0.96 o 1213
0.96 c 83
0.96 o 1214
0.96 c 82
0.97 o 1215
0.97 c 81
0.97 o 1216
0.97 c 80
14.52
14.52 search
14.52 run=0 nbConstraintChecks=26853402 nbAssignments=10000
14.52 => wckTime=13.621 cpuTime=13.55 mem=6M740
28.73
28.73 search
28.73 run=1 nbConstraintChecks=55095679 nbAssignments=20000
28.73 => wckTime=27.836 cpuTime=27.7 mem=6M740
31.11
31.11 search
31.11 run=2 nbConstraintChecks=59825922 nbAssignments=22017
31.11 => wckTime=30.215 cpuTime=30.07 mem=6M740
31.11
31.11 global
31.11 nbConstraintChecks=59825922 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 solvingWckTime=30.214 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
31.11 globalCpuTime=30.54
31.11 => wckTime=30.815 cpuTime=30.5 mem=6M740
31.11
31.11 solver IterativeSystematicSolver being built...
31.29 => wckTime=30.993 cpuTime=30.64 mem=26M603
31.31
31.31 preprocessing
31.31 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.31 detectedInconsistency=no
31.31 => wckTime=0.016 cpuTime=0.01 mem=26M603
31.49
31.49 search
31.49 run=0 nbConstraintChecks=19740 nbValidityChecks=46188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.49 nbAssignments=64 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=85 nbRestartNogoods=0
31.49 => wckTime=0.194 cpuTime=0.16 mem=27M642
31.67
31.67 search
31.67 run=1 nbConstraintChecks=54303 nbValidityChecks=141684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.67 nbAssignments=146 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=195 nbRestartNogoods=2
31.67 => wckTime=0.377 cpuTime=0.33 mem=27M642
31.85
31.85 search
31.85 run=2 nbConstraintChecks=115329 nbValidityChecks=261689 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.85 nbAssignments=246 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=330 nbRestartNogoods=3
31.85 => wckTime=0.556 cpuTime=0.51 mem=27M642
32.09
32.09 search
32.09 run=3 nbConstraintChecks=189485 nbValidityChecks=441698 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.09 nbAssignments=361 nbFailedAssignments=57 nbBacktracks=81 nbVisitedNodes=500 nbRestartNogoods=6
32.09 => wckTime=0.796 cpuTime=0.75 mem=27M642
32.41
32.41 search
32.41 run=4 nbConstraintChecks=293281 nbValidityChecks=699921 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.41 nbAssignments=503 nbFailedAssignments=90 nbBacktracks=131 nbVisitedNodes=725 nbRestartNogoods=8
32.41 => wckTime=1.118 cpuTime=1.07 mem=27M642
32.82
32.82 search
32.82 run=5 nbConstraintChecks=454441 nbValidityChecks=1043672 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.82 nbAssignments=684 nbFailedAssignments=134 nbBacktracks=206 nbVisitedNodes=1025 nbRestartNogoods=11
32.82 => wckTime=1.532 cpuTime=1.48 mem=27M642
33.40
33.40 search
33.40 run=6 nbConstraintChecks=666867 nbValidityChecks=1551825 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.40 nbAssignments=918 nbFailedAssignments=195 nbBacktracks=320 nbVisitedNodes=1434 nbRestartNogoods=14
33.40 => wckTime=2.105 cpuTime=2.05 mem=27M642
34.23
34.23 search
34.23 run=7 nbConstraintChecks=1008012 nbValidityChecks=2290994 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.23 nbAssignments=1242 nbFailedAssignments=289 nbBacktracks=490 nbVisitedNodes=2022 nbRestartNogoods=17
34.23 => wckTime=2.938 cpuTime=2.87 mem=27M642
35.70
35.70 search
35.70 run=8 nbConstraintChecks=1444617 nbValidityChecks=3577533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.70 nbAssignments=1733 nbFailedAssignments=467 nbBacktracks=746 nbVisitedNodes=2947 nbRestartNogoods=22
35.70 => wckTime=4.406 cpuTime=4.31 mem=27M642
37.61
37.61 search
37.61 run=9 nbConstraintChecks=2121464 nbValidityChecks=5387222 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.61 nbAssignments=2413 nbFailedAssignments=705 nbBacktracks=1131 nbVisitedNodes=4250 nbRestartNogoods=27
37.61 => wckTime=6.319 cpuTime=6.21 mem=27M642
40.36
40.36 search
40.36 run=10 nbConstraintChecks=3255567 nbValidityChecks=8082312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.36 nbAssignments=3431 nbFailedAssignments=1091 nbBacktracks=1707 nbVisitedNodes=6230 nbRestartNogoods=31
40.36 => wckTime=9.07 cpuTime=8.95 mem=27M642
44.45
44.45 search
44.45 run=11 nbConstraintChecks=4730854 nbValidityChecks=12057739 nbPropagations=0 nbRevisions=0
44.45 nbUselessRevisions=0 nbAssignments=4850 nbFailedAssignments=1585 nbBacktracks=2574 nbVisitedNodes=9010
44.45 nbRestartNogoods=32
44.45 => wckTime=13.156 cpuTime=13.02 mem=27M642
51.16
51.16 search
51.16 run=12 nbConstraintChecks=6832567 nbValidityChecks=18579244 nbPropagations=0 nbRevisions=0
51.16 nbUselessRevisions=0 nbAssignments=7125 nbFailedAssignments=2507 nbBacktracks=3872 nbVisitedNodes=13505
51.16 nbRestartNogoods=36
51.16 => wckTime=19.869 cpuTime=19.7 mem=27M642
61.16
61.16 search
61.16 run=13 nbConstraintChecks=9788922 nbValidityChecks=28132374 nbPropagations=0 nbRevisions=0
61.16 nbUselessRevisions=0 nbAssignments=10383 nbFailedAssignments=3762 nbBacktracks=5820 nbVisitedNodes=19966
61.16 nbRestartNogoods=43
61.16 => wckTime=29.868 cpuTime=29.66 mem=27M642
76.75
76.75 search
76.75 run=14 nbConstraintChecks=14400947 nbValidityChecks=43111932 nbPropagations=0 nbRevisions=0
76.75 nbUselessRevisions=0 nbAssignments=15515 nbFailedAssignments=5923 nbBacktracks=8739 nbVisitedNodes=30178
76.75 nbRestartNogoods=48
76.75 => wckTime=45.464 cpuTime=45.2 mem=27M642
97.70
97.70 search
97.70 run=15 nbConstraintChecks=21001651 nbValidityChecks=63433415 nbPropagations=0 nbRevisions=0
97.70 nbUselessRevisions=0 nbAssignments=22359 nbFailedAssignments=8336 nbBacktracks=13117 nbVisitedNodes=43813
97.70 nbRestartNogoods=52
97.70 => wckTime=66.407 cpuTime=66.06 mem=27M642
129.76
129.76 search
129.76 run=16 nbConstraintChecks=31589729 nbValidityChecks=94492488 nbPropagations=0 nbRevisions=0
129.76 nbUselessRevisions=0 nbAssignments=32995 nbFailedAssignments=12348 nbBacktracks=19685 nbVisitedNodes=65024
129.76 nbRestartNogoods=57
129.76 => wckTime=98.469 cpuTime=98.0 mem=27M642
180.05
180.05 search
180.05 run=17 nbConstraintChecks=46593364 nbValidityChecks=141554438 nbPropagations=0 nbRevisions=0
180.05 nbUselessRevisions=0 nbAssignments=49013 nbFailedAssignments=18468 nbBacktracks=29537 nbVisitedNodes=96988
180.05 nbRestartNogoods=61
180.05 => wckTime=148.762 cpuTime=148.09 mem=27M642
256.85
256.85 search
256.85 run=18 nbConstraintChecks=69818877 nbValidityChecks=212803684 nbPropagations=0 nbRevisions=0
256.85 nbUselessRevisions=0 nbAssignments=73865 nbFailedAssignments=28487 nbBacktracks=44315 nbVisitedNodes=146291
256.85 nbRestartNogoods=62
256.85 => wckTime=225.56 cpuTime=224.59 mem=27M642
363.41
363.41 search
363.41 run=19 nbConstraintChecks=108011122 nbValidityChecks=310015465 nbPropagations=0 nbRevisions=0
363.41 nbUselessRevisions=0 nbAssignments=110219 nbFailedAssignments=42616 nbBacktracks=66483 nbVisitedNodes=217869
363.41 nbRestartNogoods=72
363.41 => wckTime=332.122 cpuTime=330.73 mem=27M642
503.71
503.71 search
503.71 run=20 nbConstraintChecks=162099110 nbValidityChecks=440087303 nbPropagations=0 nbRevisions=0
503.71 nbUselessRevisions=0 nbAssignments=161994 nbFailedAssignments=61082 nbBacktracks=99735 nbVisitedNodes=315535
503.71 nbRestartNogoods=81
503.71 => wckTime=472.421 cpuTime=470.49 mem=27M642
710.65
710.65 search
710.65 run=21 nbConstraintChecks=248359923 nbValidityChecks=619946305 nbPropagations=0 nbRevisions=0
710.65 nbUselessRevisions=0 nbAssignments=242002 nbFailedAssignments=91151 nbBacktracks=149614 nbVisitedNodes=464856
710.65 nbRestartNogoods=88
710.65 => wckTime=679.357 cpuTime=676.62 mem=27M642
976.80
976.80 search
976.80 run=22 nbConstraintChecks=396254911 nbValidityChecks=839138621 nbPropagations=0 nbRevisions=0
976.80 nbUselessRevisions=0 nbAssignments=357738 nbFailedAssignments=132005 nbBacktracks=224434 nbVisitedNodes=677095
976.80 nbRestartNogoods=93
976.80 => wckTime=945.513 cpuTime=941.8 mem=27M642
1319.82
1319.82 search
1319.82 run=23 nbConstraintChecks=585537647 nbValidityChecks=1119906701 nbPropagations=0 nbRevisions=0
1319.82 nbUselessRevisions=0 nbAssignments=519806 nbFailedAssignments=181779 nbBacktracks=336663 nbVisitedNodes=952173
1319.82 nbRestartNogoods=103
1319.82 => wckTime=1288.529 cpuTime=1282.53 mem=27M642
1794.45
1794.45 search
1794.45 run=24 nbConstraintChecks=855816702 nbValidityChecks=1514269321 nbPropagations=0 nbRevisions=0
1794.45 nbUselessRevisions=0 nbAssignments=754453 nbFailedAssignments=248019 nbBacktracks=505005 nbVisitedNodes=1338513
1794.45 nbRestartNogoods=110
1794.45 => wckTime=1763.16 cpuTime=1753.29 mem=27M642
2415.31 v 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-276117-1169231335 -o ROOT/results/node76/solver-276117-1169231335 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276117-1169231335/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.92 1.87 1.55 5/85 21589
/proc/meminfo: memFree=1470224/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=18544 CPUtime=0
/proc/21588/stat : 21588 (runsolver) R 21586 21588 21410 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 271530656 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21588/statm: 4636 280 245 17 0 2626 0
[startup+0.103519 s]
/proc/loadavg: 1.92 1.87 1.55 5/85 21589
/proc/meminfo: memFree=1470224/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=914992 CPUtime=0.07
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 2992 0 1 0 6 1 0 0 18 0 8 0 271530656 936951808 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228748 2740 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914992
[startup+0.511601 s]
/proc/loadavg: 1.92 1.87 1.55 5/85 21589
/proc/meminfo: memFree=1470224/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915336 CPUtime=0.49
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 7330 0 1 0 44 5 0 0 18 0 8 0 271530656 937304064 7071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228834 7071 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915336
[startup+1.33276 s]
/proc/loadavg: 1.92 1.87 1.55 3/92 21596
/proc/meminfo: memFree=1428440/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=1.3
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13105 0 1 0 115 15 0 0 25 0 8 0 271530656 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228863 12845 2494 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.17
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 371 0 0 0 16 1 0 0 16 0 8 0 271530663 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 12845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.98308 s]
/proc/loadavg: 1.92 1.87 1.55 4/92 21596
/proc/meminfo: memFree=1428440/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2.95
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13110 0 1 0 275 20 0 0 25 0 8 0 271530656 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228863 12849 2496 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.18
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 375 0 0 0 17 1 0 0 16 0 8 0 271530663 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.26473 s]
/proc/loadavg: 1.93 1.87 1.55 3/92 21596
/proc/meminfo: memFree=1428312/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=6.22
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13110 0 1 0 594 28 0 0 25 0 8 0 271530656 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228863 12849 2496 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.18
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 375 0 0 0 17 1 0 0 16 0 8 0 271530663 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452
[startup+12.743 s]
/proc/loadavg: 1.93 1.88 1.56 3/92 21596
/proc/meminfo: memFree=1428312/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=12.66
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13110 0 1 0 1220 46 0 0 25 0 8 0 271530656 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228863 12849 2496 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.18
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 375 0 0 0 17 1 0 0 16 0 8 0 271530663 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 12849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452
[startup+25.5845 s]
/proc/loadavg: 1.95 1.88 1.56 3/92 21596
/proc/meminfo: memFree=1428312/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=25.46
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13112 0 1 0 2467 79 0 0 25 0 8 0 271530656 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228863 12851 2496 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.18
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 377 0 0 0 17 1 0 0 16 0 8 0 271530663 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 12851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915452
[startup+51.1866 s]
/proc/loadavg: 1.96 1.89 1.57 3/92 21596
/proc/meminfo: memFree=1427864/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=50.96
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13286 0 1 0 5001 95 0 0 25 0 8 0 271530656 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228863 13018 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.3
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 271530663 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915452
[startup+102.388 s]
/proc/loadavg: 1.98 1.90 1.59 3/92 21596
/proc/meminfo: memFree=1427864/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=101.96
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13286 0 1 0 10101 95 0 0 25 0 8 0 271530656 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21588/statm: 228863 13018 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.3
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 271530663 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915452
[startup+162.432 s]
/proc/loadavg: 1.99 1.92 1.61 3/92 21596
/proc/meminfo: memFree=1427864/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=161.77
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13286 0 1 0 16082 95 0 0 25 0 8 0 271530656 937422848 13018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2011.59
Current children cumulated vsize (KiB) 915452
[startup+2083.67 s]
/proc/loadavg: 2.03 2.00 1.91 3/85 21898
/proc/meminfo: memFree=1483160/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2071.13
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13289 0 1 0 207006 107 0 0 25 0 8 0 271530656 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074010396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21588/statm: 228863 13019 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.31
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 448 0 0 0 29 2 0 0 16 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2071.13
Current children cumulated vsize (KiB) 915452
[startup+2143.71 s]
/proc/loadavg: 2.07 2.01 1.92 3/85 21898
/proc/meminfo: memFree=1483160/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2130.69
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13289 0 1 0 212962 107 0 0 25 0 8 0 271530656 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21588/statm: 228863 13019 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.31
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 448 0 0 0 29 2 0 0 16 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.69
Current children cumulated vsize (KiB) 915452
[startup+2203.75 s]
/proc/loadavg: 2.02 2.01 1.92 3/85 21898
/proc/meminfo: memFree=1483224/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2190.25
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13289 0 1 0 218918 107 0 0 25 0 8 0 271530656 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829007 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21588/statm: 228863 13019 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.31
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 448 0 0 0 29 2 0 0 16 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2190.25
Current children cumulated vsize (KiB) 915452
[startup+2263.78 s]
/proc/loadavg: 2.04 2.02 1.93 3/85 21898
/proc/meminfo: memFree=1483160/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2249.78
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13289 0 1 0 224871 107 0 0 25 0 8 0 271530656 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21588/statm: 228863 13019 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.31
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 448 0 0 0 29 2 0 0 16 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.78
Current children cumulated vsize (KiB) 915452
[startup+2323.81 s]
/proc/loadavg: 2.01 2.01 1.93 3/85 21898
/proc/meminfo: memFree=1483160/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2309.33
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13289 0 1 0 230826 107 0 0 25 0 8 0 271530656 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21588/statm: 228863 13019 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.31
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 448 0 0 0 29 2 0 0 16 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.33
Current children cumulated vsize (KiB) 915452
[startup+2383.85 s]
/proc/loadavg: 2.00 2.01 1.93 3/85 21898
/proc/meminfo: memFree=1483160/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2368.88
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13289 0 1 0 236781 107 0 0 25 0 8 0 271530656 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21588/statm: 228863 13019 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.31
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 448 0 0 0 29 2 0 0 16 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.88
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2415.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/85 21898
/proc/meminfo: memFree=1483160/2055888 swapFree=4087964/4096564
[pid=21588] ppid=21586 vsize=915452 CPUtime=2400.08
/proc/21588/stat : 21588 (java) R 21586 21588 21410 0 -1 0 13289 0 1 0 239901 107 0 0 25 0 8 0 271530656 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21588/statm: 228863 13019 2547 14 0 215332 0
[pid=21588/tid=21590] ppid=21586 vsize=915452 CPUtime=0.04
/proc/21588/task/21590/stat : 21590 (java) S 21586 21588 21410 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21591] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21591/stat : 21591 (java) S 21586 21588 21410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21592] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21592/stat : 21592 (java) S 21586 21588 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271530660 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21593] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21593/stat : 21593 (java) S 21586 21588 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21594] ppid=21586 vsize=915452 CPUtime=0.31
/proc/21588/task/21594/stat : 21594 (java) S 21586 21588 21410 0 -1 64 448 0 0 0 29 2 0 0 16 0 8 0 271530663 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21588/tid=21595] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21595/stat : 21595 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21588/tid=21596] ppid=21586 vsize=915452 CPUtime=0
/proc/21588/task/21596/stat : 21596 (java) S 21586 21588 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271530664 937422848 13019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2415.37
CPU time (s): 2400.15
CPU user time (s): 2399.06
CPU system time (s): 1.08683
CPU usage (%): 99.3699
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 1.08683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13312
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= 50234
involuntary context switches= 72732
runsolver used 2.32065 s user time and 6.31004 s system time
The end
Begin job on node76 on Fri Jan 19 18:28:56 UTC 2007
IDJOB= 276117
IDBENCH= 5258
IDSOLVER= 69
FILE ID= node76/276117-1169231335
PBS_JOBID= 3589283
Free space on /tmp= 66647 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-9-9-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276117-1169231335/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-276117-1169231335 -o ROOT/results/node76/solver-276117-1169231335 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276117-1169231335/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c4173727a6ec0cd98f872aeaa7cc40fb
RANDOM SEED= 432166482
TIME LIMIT= 2400 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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1470512 kB
Buffers: 35432 kB
Cached: 412164 kB
SwapCached: 2496 kB
Active: 167644 kB
Inactive: 353952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1470512 kB
SwapTotal: 4096564 kB
SwapFree: 4087964 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 90960 kB
Slab: 49216 kB
Committed_AS: 8558848 kB
PageTables: 1952 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66648 MiB
End job on node76 on Fri Jan 19 19:09:11 UTC 2007