0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/212117-1168076858/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=290 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.112 cpuTime=0.1 mem=6M951
0.41
0.41 predicates being loaded...
0.56
0.56 constraints being loaded...
2.57 nbConstraints=212 nbMergedConstraints=35 nbConflictsStructures=11 nbSharedConflictsStructures=21
2.57 nbUnbuiltConflictsStructures=8 nbSharedBinaryRepresentations=0 nbEvaluationManagers=19
2.57 nbSharedEvaluationManagers=193 maxDegree=74 maxArity=263
2.57 => wckTime=2.271 cpuTime=2.12 mem=43M353
2.61
2.61 solver IterativeSystematicSolver being built...
2.84 => wckTime=2.539 cpuTime=2.3 mem=34M710
2.88
2.88 preprocessing
2.88 nbConstraintChecks=840 nbValidityChecks=756 nbPropagations=290 nbRevisions=798 nbUselessRevisions=798
2.88 nbRemovedValues=0 detectedInconsistency=no
2.88 => wckTime=0.037 cpuTime=0.03 mem=36M703
8.16
8.16 search
8.16 run=0 nbConstraintChecks=1067815 nbValidityChecks=88910 nbPropagations=671 nbRevisions=50016
8.16 nbUselessRevisions=49582 nbAssignments=150 nbFailedAssignments=1 nbBacktracks=17 nbVisitedNodes=163
8.16 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
8.16 => wckTime=5.326 cpuTime=5.28 mem=36M703
11.30
11.30 search
11.30 run=1 nbConstraintChecks=1702313 nbValidityChecks=171253 nbPropagations=1674 nbRevisions=144803
11.30 nbUselessRevisions=143694 nbAssignments=307 nbFailedAssignments=2 nbBacktracks=41 nbVisitedNodes=325
11.30 nbRestartNogoods=1 mapSize=15 nbInferences=0 nbTooLargeKeys=0
11.30 => wckTime=8.46 cpuTime=8.42 mem=36M703
15.02
15.02 search
15.02 run=2 nbConstraintChecks=2441509 nbValidityChecks=270945 nbPropagations=3090 nbRevisions=293206
15.02 nbUselessRevisions=290968 nbAssignments=470 nbFailedAssignments=5 nbBacktracks=63 nbVisitedNodes=507
15.02 nbRestartNogoods=2 mapSize=32 nbInferences=0 nbTooLargeKeys=0
15.02 => wckTime=12.178 cpuTime=12.13 mem=36M703
21.79
21.79 search
21.79 run=3 nbConstraintChecks=3790501 nbValidityChecks=401220 nbPropagations=5044 nbRevisions=514118
21.79 nbUselessRevisions=510198 nbAssignments=619 nbFailedAssignments=9 nbBacktracks=113 nbVisitedNodes=668
21.79 nbRestartNogoods=4 mapSize=43 nbInferences=0 nbTooLargeKeys=0
21.79 => wckTime=18.949 cpuTime=18.9 mem=36M703
23.51
23.51 search
23.51 run=4 nbConstraintChecks=4107945 nbValidityChecks=509871 nbPropagations=7465 nbRevisions=797280
23.51 nbUselessRevisions=791333 nbAssignments=837 nbFailedAssignments=12 nbBacktracks=200 nbVisitedNodes=895
23.51 nbRestartNogoods=5 mapSize=52 nbInferences=0 nbTooLargeKeys=0
23.51 => wckTime=20.674 cpuTime=20.62 mem=37M699
25.14
25.14 search
25.14 run=5 nbConstraintChecks=4402947 nbValidityChecks=621063 nbPropagations=10487 nbRevisions=1144927
25.14 nbUselessRevisions=1136418 nbAssignments=1040 nbFailedAssignments=18 nbBacktracks=289 nbVisitedNodes=1115
25.14 nbRestartNogoods=6 mapSize=68 nbInferences=0 nbTooLargeKeys=0
25.14 => wckTime=22.303 cpuTime=22.24 mem=37M699
40.85
40.85 search
40.85 run=6 nbConstraintChecks=7627578 nbValidityChecks=801137 nbPropagations=14404 nbRevisions=1596786
40.85 nbUselessRevisions=1584828 nbAssignments=1305 nbFailedAssignments=27 nbBacktracks=426 nbVisitedNodes=1400
40.86 nbRestartNogoods=7 mapSize=88 nbInferences=0 nbTooLargeKeys=0
40.86 => wckTime=38.017 cpuTime=37.92 mem=37M699
50.52
50.52 search
50.52 run=7 nbConstraintChecks=9565024 nbValidityChecks=1022678 nbPropagations=19203 nbRevisions=2174975
50.52 nbUselessRevisions=2158635 nbAssignments=1605 nbFailedAssignments=36 nbBacktracks=611 nbVisitedNodes=1735
50.52 nbRestartNogoods=9 mapSize=126 nbInferences=0 nbTooLargeKeys=0
50.52 => wckTime=47.687 cpuTime=47.56 mem=37M699
65.98
65.98 search
65.98 run=8 nbConstraintChecks=12642888 nbValidityChecks=1398787 nbPropagations=25446 nbRevisions=2963731
65.98 nbUselessRevisions=2941382 nbAssignments=1990 nbFailedAssignments=49 nbBacktracks=879 nbVisitedNodes=2164
65.98 nbRestartNogoods=10 mapSize=175 nbInferences=0 nbTooLargeKeys=0
65.98 => wckTime=63.143 cpuTime=63.0 mem=37M699
71.93
71.93 search
71.93 run=9 nbConstraintChecks=13708251 nbValidityChecks=1807928 nbPropagations=33739 nbRevisions=3992969
71.93 nbUselessRevisions=3962272 nbAssignments=2531 nbFailedAssignments=77 nbBacktracks=1264 nbVisitedNodes=2782
71.93 nbRestartNogoods=12 mapSize=254 nbInferences=0 nbTooLargeKeys=0
71.93 => wckTime=69.088 cpuTime=68.94 mem=37M699
151.81
151.81 search
151.81 run=10 nbConstraintChecks=30171523 nbValidityChecks=2419215 nbPropagations=45124 nbRevisions=5377556
151.81 nbUselessRevisions=5335015 nbAssignments=3291 nbFailedAssignments=125 nbBacktracks=1841 nbVisitedNodes=3652
151.81 nbRestartNogoods=14 mapSize=368 nbInferences=0 nbTooLargeKeys=0
151.81 => wckTime=148.971 cpuTime=148.72 mem=38M695
200.21
200.21 search
200.21 run=11 nbConstraintChecks=39742730 nbValidityChecks=3533378 nbPropagations=61753 nbRevisions=7404338
200.21 nbUselessRevisions=7343350 nbAssignments=4367 nbFailedAssignments=184 nbBacktracks=2715 nbVisitedNodes=4949
200.21 nbRestartNogoods=17 mapSize=598 nbInferences=0 nbTooLargeKeys=0
200.21 => wckTime=197.37 cpuTime=197.08 mem=38M695
492.99
492.99 search
492.99 run=12 nbConstraintChecks=100709292 nbValidityChecks=4930830 nbPropagations=84673 nbRevisions=10231769
492.99 nbUselessRevisions=10144330 nbAssignments=5886 nbFailedAssignments=274 nbBacktracks=4019 nbVisitedNodes=6679
492.99 nbRestartNogoods=20 mapSize=833 nbInferences=0 nbTooLargeKeys=0
492.99 => wckTime=490.156 cpuTime=489.53 mem=39M692
512.22
512.22 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=39M692)
553.29
553.29 search
553.29 run=13 nbConstraintChecks=112162479 nbValidityChecks=7127077 nbPropagations=116043 nbRevisions=14341408
553.29 nbUselessRevisions=14214512 nbAssignments=8133 nbFailedAssignments=457 nbBacktracks=5988 nbVisitedNodes=9374
553.29 nbRestartNogoods=23
553.29 => wckTime=550.457 cpuTime=549.77 mem=39M692
775.44
775.44 search
775.44 run=14 nbConstraintChecks=157293151 nbValidityChecks=9895096 nbPropagations=159706 nbRevisions=20075180
775.44 nbUselessRevisions=19894389 nbAssignments=11415 nbFailedAssignments=671 nbBacktracks=8911 nbVisitedNodes=13194
775.44 nbRestartNogoods=24
775.44 => wckTime=772.602 cpuTime=771.67 mem=39M692
857.69
857.69 search
857.69 run=15 nbConstraintChecks=171196952 nbValidityChecks=13711518 nbPropagations=218888 nbRevisions=28074493
857.69 nbUselessRevisions=27823452 nbAssignments=16251 nbFailedAssignments=1025 nbBacktracks=13289
857.70 nbVisitedNodes=18611 nbRestartNogoods=29
857.70 => wckTime=854.857 cpuTime=853.76 mem=39M692
1053.72
1053.72 search
1053.72 run=16 nbConstraintChecks=187744747 nbValidityChecks=16345028 nbPropagations=289449 nbRevisions=37646935
1053.72 nbUselessRevisions=37315559 nbAssignments=20156 nbFailedAssignments=1323 nbBacktracks=16606
1053.72 nbVisitedNodes=22921 nbRestartNogoods=31
1053.72 => wckTime=1050.883 cpuTime=1049.54 mem=39M692
1053.72
1053.72 global
1053.72 nbConstraintChecks=187745587 nbValidityChecks=16345784 nbPropagations=289739 nbRevisions=37647733
1053.72 nbUselessRevisions=37316357 nbRestartNogoods=31 solvingWckTime=1050.885 solvingCpuTime=1049.54 expiredTime=no
1053.72 totalExploration=no nbFoundSolutions=1 globalCpuTime=1051.89
1053.72 => wckTime=1053.425 cpuTime=1051.84 mem=39M692
1053.72
1053.72 s SATISFIABLE
1053.72 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1
1053.73 d NODES 20156
1053.73 d CHECKS 187745587
1053.73
1053.73 totalWckTime=1053.502 totalCpuTime=1051.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-212117-1168076858 -o ROOT/results/node21/solver-212117-1168076858 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212117-1168076858/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.98 1.06 3/86 20480
/proc/meminfo: memFree=1705552/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=292 CPUtime=0
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 52 0 0 0 0 0 0 0 18 0 1 0 156080527 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 0 0 0
/proc/20479/statm: 73 35 27 14 0 5 0
[startup+0.107802 s]
/proc/loadavg: 0.92 0.98 1.06 3/86 20480
/proc/meminfo: memFree=1705552/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=914988 CPUtime=0.08
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 3059 0 1 0 7 1 0 0 23 0 8 0 156080527 936947712 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228747 2806 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515878 s]
/proc/loadavg: 0.92 0.98 1.06 3/86 20480
/proc/meminfo: memFree=1705552/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915328 CPUtime=0.49
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 8048 0 1 0 45 4 0 0 25 0 8 0 156080527 937295872 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228832 7788 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33704 s]
/proc/loadavg: 0.92 0.98 1.06 3/100 20494
/proc/meminfo: memFree=1585376/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915436 CPUtime=1.31
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 16924 0 1 0 122 9 0 0 25 0 8 0 156080527 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778112 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228859 16661 2178 14 0 215329 0
[pid=20479/tid=20484] ppid=20477 vsize=915436 CPUtime=0.01
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 380 0 0 0 1 0 0 0 16 0 8 0 156080531 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915436 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915436 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915436 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915436 CPUtime=0.15
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 362 0 0 0 15 0 0 0 16 0 8 0 156080534 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915436 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915436 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937406464 16661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436
[startup+2.98834 s]
/proc/loadavg: 1.01 1.00 1.06 3/100 20494
/proc/meminfo: memFree=1581024/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=2.96
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17817 0 1 0 286 10 0 0 25 0 8 0 156080527 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073943877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17552 2534 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 770 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.25
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 414 0 0 0 24 1 0 0 15 0 8 0 156080534 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915568
[startup+6.27696 s]
/proc/loadavg: 1.01 1.00 1.06 3/100 20494
/proc/meminfo: memFree=1578720/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=6.24
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17820 0 1 0 614 10 0 0 25 0 8 0 156080527 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17555 2535 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 770 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.25
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 415 0 0 0 24 1 0 0 15 0 8 0 156080534 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915568
[startup+12.7552 s]
/proc/loadavg: 1.16 1.03 1.07 3/100 20494
/proc/meminfo: memFree=1578736/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=12.72
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17829 0 1 0 1261 11 0 0 25 0 8 0 156080527 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17562 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.26
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 418 0 0 0 25 1 0 0 15 0 8 0 156080534 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915568
[startup+25.6096 s]
/proc/loadavg: 1.29 1.06 1.08 3/100 20494
/proc/meminfo: memFree=1578800/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=25.57
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17839 0 1 0 2546 11 0 0 25 0 8 0 156080527 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17569 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 17 0 8 0 156080531 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.27
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 427 0 0 0 26 1 0 0 15 0 8 0 156080534 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915568
[startup+51.2114 s]
/proc/loadavg: 1.53 1.14 1.10 3/100 20494
/proc/meminfo: memFree=1578864/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=51.12
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17848 0 1 0 5101 11 0 0 25 0 8 0 156080527 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17576 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.29
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 156080534 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915568
[startup+102.51 s]
/proc/loadavg: 1.79 1.27 1.15 3/100 20494
/proc/meminfo: memFree=1578800/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=102.37
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17858 0 1 0 10225 12 0 0 25 0 8 0 156080527 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17582 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915568
[startup+162.555 s]
/proc/loadavg: 1.92 1.40 1.20 3/100 20494
/proc/meminfo: memFree=1568304/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=162.36
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17860 0 1 0 16224 12 0 0 25 0 8 0 156080527 937541632 17582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 440 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 915568
[startup+642.899 s]
/proc/loadavg: 2.01 1.88 1.51 3/100 20494
/proc/meminfo: memFree=1568112/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=642.16
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17864 0 1 0 64203 13 0 0 25 0 8 0 156080527 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17584 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 915568
[startup+702.938 s]
/proc/loadavg: 2.00 1.90 1.54 3/100 20494
/proc/meminfo: memFree=1568112/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=702.15
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17864 0 1 0 70202 13 0 0 25 0 8 0 156080527 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17584 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 915568
[startup+762.986 s]
/proc/loadavg: 2.00 1.92 1.56 3/100 20494
/proc/meminfo: memFree=1568048/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=762.12
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17864 0 1 0 76199 13 0 0 25 0 8 0 156080527 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17584 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 915568
[startup+823.048 s]
/proc/loadavg: 2.00 1.93 1.59 3/106 20578
/proc/meminfo: memFree=1566616/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=822.08
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17865 0 1 0 82193 15 0 0 25 0 8 0 156080527 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17584 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 915568
[startup+883.125 s]
/proc/loadavg: 2.00 1.94 1.61 3/106 20664
/proc/meminfo: memFree=1566584/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=882.06
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17865 0 1 0 88187 19 0 0 25 0 8 0 156080527 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17584 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 915568
[startup+943.167 s]
/proc/loadavg: 2.00 1.95 1.63 3/100 20692
/proc/meminfo: memFree=1567600/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=942.01
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17865 0 1 0 94180 21 0 0 25 0 8 0 156080527 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17584 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 915568
[startup+1003.21 s]
/proc/loadavg: 2.00 1.95 1.65 3/100 20692
/proc/meminfo: memFree=1567664/2055920 swapFree=4192812/4192956
[pid=20479] ppid=20477 vsize=915568 CPUtime=1002
/proc/20479/stat : 20479 (java) R 20477 20479 20343 0 -1 0 17865 0 1 0 100179 21 0 0 25 0 8 0 156080527 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777674 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20479/statm: 228892 17584 2538 14 0 215362 0
[pid=20479/tid=20484] ppid=20477 vsize=915568 CPUtime=0.04
/proc/20479/task/20484/stat : 20484 (java) S 20477 20479 20343 0 -1 64 771 0 0 0 4 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20485] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20485/stat : 20485 (java) S 20477 20479 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20486] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20486/stat : 20486 (java) S 20477 20479 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156080531 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20491] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20491/stat : 20491 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20492] ppid=20477 vsize=915568 CPUtime=0.3
/proc/20479/task/20492/stat : 20492 (java) S 20477 20479 20343 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20493] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20493/stat : 20493 (java) S 20477 20479 20343 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156080534 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20479/tid=20494] ppid=20477 vsize=915568 CPUtime=0
/proc/20479/task/20494/stat : 20494 (java) S 20477 20479 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156080535 937541632 17584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 1053.79
CPU time (s): 1052.47
CPU user time (s): 1052.25
CPU system time (s): 0.222966
CPU usage (%): 99.8751
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1052.25
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17871
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= 22749
involuntary context switches= 67868
runsolver used 1.39879 s user time and 3.2995 s system time
The end
Begin job on node21 on Sat Jan 6 09:47:40 UTC 2007
IDJOB= 212117
IDBENCH= 4746
FILE ID= node21/212117-1168076858
PBS_JOBID= 3476050
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-misc07.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212117-1168076858/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-212117-1168076858 -o ROOT/results/node21/solver-212117-1168076858 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212117-1168076858/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5e162ce2d3df261ca89907b6e044aabc
RANDOM SEED= 635822298
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1706232 kB
Buffers: 32168 kB
Cached: 183052 kB
SwapCached: 0 kB
Active: 173844 kB
Inactive: 104692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1706232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4020 kB
Writeback: 0 kB
Mapped: 83344 kB
Slab: 56200 kB
Committed_AS: 2922644 kB
PageTables: 2100 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= 66544 MiB
End job on node21 on Sat Jan 6 10:05:14 UTC 2007