0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278147-1169276293/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.087 cpuTime=0.07 mem=6M910
0.38
0.38 relations being loaded...
0.40
0.40 constraints being loaded...
0.63 nbConstraints=1727 nbRelationTypes=43 nbExtensionStructures=43 nbSharedExtensionStructures=1684
0.63 nbConflictsStructures=43 nbSharedConflictsStructures=1684 nbSharedBinaryRepresentations=0 maxDegree=155
0.63 maxArity=3
0.63 => wckTime=0.332 cpuTime=0.2 mem=11M802
0.67
0.67 solver LocalSearchSolver being built...
0.71 => wckTime=0.419 cpuTime=0.24 mem=6M279
0.72
0.72 s SATISFIABLE
0.72 o 1515
0.72 c 212
0.72 o 1518
0.72 c 209
0.72 o 1522
0.72 c 205
0.72 o 1527
0.72 c 200
0.72 o 1528
0.72 c 199
0.73 o 1530
0.73 c 197
0.73 o 1531
0.73 c 196
0.73 o 1535
0.73 c 192
0.73 o 1538
0.73 c 189
0.73 o 1539
0.73 c 188
0.74 o 1542
0.74 c 185
0.74 o 1550
0.74 c 177
0.77 o 1552
0.78 c 175
0.78 o 1557
0.78 c 170
0.81 o 1559
0.81 c 168
0.91 o 1560
0.91 c 167
0.91 o 1568
0.91 c 159
0.91 o 1572
0.91 c 155
4.05 o 1574
4.05 c 153
6.78
6.78 search
6.78 run=0 nbConstraintChecks=40461563 nbAssignments=10000
6.78 => wckTime=6.07 cpuTime=6.03 mem=6M279
12.16 o 1575
12.16 c 152
12.89
12.89 search
12.89 run=1 nbConstraintChecks=81940309 nbAssignments=20000
12.89 => wckTime=12.175 cpuTime=12.09 mem=6M279
18.88
18.88 search
18.88 run=2 nbConstraintChecks=122421122 nbAssignments=30000
18.88 => wckTime=18.168 cpuTime=18.05 mem=6M279
24.97
24.98 search
24.98 run=3 nbConstraintChecks=163895141 nbAssignments=40000
24.98 => wckTime=24.264 cpuTime=24.13 mem=6M279
30.94
30.94 search
30.94 run=4 nbConstraintChecks=204344330 nbAssignments=50000
30.94 => wckTime=30.226 cpuTime=30.04 mem=6M279
37.06
37.06 search
37.07 run=5 nbConstraintChecks=245839960 nbAssignments=60000
37.07 => wckTime=36.354 cpuTime=36.14 mem=6M279
42.31
42.31 search
42.31 run=6 nbConstraintChecks=281308290 nbAssignments=68794
42.31 => wckTime=41.599 cpuTime=41.37 mem=6M279
42.31
42.31 global
42.31 nbConstraintChecks=281308290 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.31 solvingWckTime=41.597 solvingCpuTime=41.37 expiredTime=no totalExploration=no nbFoundSolutions=0
42.31 globalCpuTime=41.66
42.31 => wckTime=42.017 cpuTime=41.61 mem=6M279
42.31
42.31 solver IterativeSystematicSolver being built...
42.49 => wckTime=42.195 cpuTime=41.74 mem=26M4
42.51
42.51 preprocessing
42.51 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
42.51 detectedInconsistency=no
42.51 => wckTime=0.016 cpuTime=0.02 mem=26M4
42.64
42.64 search
42.64 run=0 nbConstraintChecks=33686 nbValidityChecks=79343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.64 nbAssignments=41 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
42.64 => wckTime=0.148 cpuTime=0.13 mem=26M979
42.77
42.77 search
42.77 run=1 nbConstraintChecks=78786 nbValidityChecks=195548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.77 nbAssignments=92 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=137 nbRestartNogoods=2
42.77 => wckTime=0.283 cpuTime=0.25 mem=26M979
42.91
42.91 search
42.91 run=2 nbConstraintChecks=138722 nbValidityChecks=353034 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.91 nbAssignments=153 nbFailedAssignments=31 nbBacktracks=49 nbVisitedNodes=234 nbRestartNogoods=5
42.91 => wckTime=0.42 cpuTime=0.39 mem=26M979
43.11
43.11 search
43.11 run=3 nbConstraintChecks=221321 nbValidityChecks=590050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.11 nbAssignments=233 nbFailedAssignments=52 nbBacktracks=83 nbVisitedNodes=369 nbRestartNogoods=8
43.11 => wckTime=0.619 cpuTime=0.58 mem=26M979
43.40
43.40 search
43.40 run=4 nbConstraintChecks=350427 nbValidityChecks=956950 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.40 nbAssignments=344 nbFailedAssignments=91 nbBacktracks=133 nbVisitedNodes=569 nbRestartNogoods=10
43.41 => wckTime=0.915 cpuTime=0.88 mem=26M979
43.85
43.85 search
43.85 run=5 nbConstraintChecks=529646 nbValidityChecks=1500886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.85 nbAssignments=500 nbFailedAssignments=149 nbBacktracks=209 nbVisitedNodes=859 nbRestartNogoods=13
43.85 => wckTime=1.357 cpuTime=1.31 mem=26M979
44.48
44.48 search
44.48 run=6 nbConstraintChecks=789181 nbValidityChecks=2321405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.48 nbAssignments=717 nbFailedAssignments=233 nbBacktracks=322 nbVisitedNodes=1273 nbRestartNogoods=15
44.48 => wckTime=1.989 cpuTime=1.94 mem=26M979
45.48
45.48 search
45.48 run=7 nbConstraintChecks=1194531 nbValidityChecks=3613357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.48 nbAssignments=1055 nbFailedAssignments=378 nbBacktracks=492 nbVisitedNodes=1926 nbRestartNogoods=20
45.48 => wckTime=2.986 cpuTime=2.93 mem=26M979
47.00
47.00 search
47.00 run=8 nbConstraintChecks=1786768 nbValidityChecks=5545773 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.00 nbAssignments=1530 nbFailedAssignments=576 nbBacktracks=749 nbVisitedNodes=2856 nbRestartNogoods=23
47.00 => wckTime=4.505 cpuTime=4.42 mem=26M979
49.17
49.17 search
49.17 run=9 nbConstraintChecks=2603374 nbValidityChecks=8325848 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.17 nbAssignments=2207 nbFailedAssignments=851 nbBacktracks=1133 nbVisitedNodes=4192 nbRestartNogoods=28
49.17 => wckTime=6.676 cpuTime=6.58 mem=26M979
52.78
52.78 search
52.78 run=10 nbConstraintChecks=3846058 nbValidityChecks=12790803 nbPropagations=0 nbRevisions=0
52.78 nbUselessRevisions=0 nbAssignments=3302 nbFailedAssignments=1351 nbBacktracks=1709 nbVisitedNodes=6363
52.78 nbRestartNogoods=35
52.78 => wckTime=10.293 cpuTime=10.17 mem=26M979
57.33
57.33 search
57.33 run=11 nbConstraintChecks=5721103 nbValidityChecks=18730533 nbPropagations=0 nbRevisions=0
57.33 nbUselessRevisions=0 nbAssignments=4745 nbFailedAssignments=1911 nbBacktracks=2573 nbVisitedNodes=9230
57.33 nbRestartNogoods=40
57.33 => wckTime=14.841 cpuTime=14.69 mem=26M979
65.43
65.43 search
65.43 run=12 nbConstraintChecks=8557214 nbValidityChecks=28668256 nbPropagations=0 nbRevisions=0
65.43 nbUselessRevisions=0 nbAssignments=7131 nbFailedAssignments=2982 nbBacktracks=3870 nbVisitedNodes=13984
65.43 nbRestartNogoods=47
65.43 => wckTime=22.937 cpuTime=22.74 mem=26M979
76.75
76.75 search
76.75 run=13 nbConstraintChecks=12755345 nbValidityChecks=43415312 nbPropagations=0 nbRevisions=0
76.75 nbUselessRevisions=0 nbAssignments=10613 nbFailedAssignments=4499 nbBacktracks=5816 nbVisitedNodes=20929
76.75 nbRestartNogoods=52
76.75 => wckTime=34.262 cpuTime=33.99 mem=26M979
94.92
94.92 search
94.92 run=14 nbConstraintChecks=18865175 nbValidityChecks=66036051 nbPropagations=0 nbRevisions=0
94.92 nbUselessRevisions=0 nbAssignments=15839 nbFailedAssignments=6785 nbBacktracks=8735 nbVisitedNodes=31360
94.92 nbRestartNogoods=59
94.92 => wckTime=52.428 cpuTime=52.07 mem=26M979
122.54
122.54 search
122.54 run=15 nbConstraintChecks=28109544 nbValidityChecks=100867554 nbPropagations=0 nbRevisions=0
122.54 nbUselessRevisions=0 nbAssignments=23854 nbFailedAssignments=10405 nbBacktracks=13113 nbVisitedNodes=47373
122.54 nbRestartNogoods=64
122.54 => wckTime=80.052 cpuTime=79.53 mem=26M979
161.25
161.25 search
161.25 run=16 nbConstraintChecks=42411585 nbValidityChecks=150254377 nbPropagations=0 nbRevisions=0
161.25 nbUselessRevisions=0 nbAssignments=35449 nbFailedAssignments=15409 nbBacktracks=19681 nbVisitedNodes=70540
161.25 nbRestartNogoods=72
161.25 => wckTime=118.762 cpuTime=118.04 mem=26M979
222.81
222.81 search
222.81 run=17 nbConstraintChecks=63124706 nbValidityChecks=227032642 nbPropagations=0 nbRevisions=0
222.81 nbUselessRevisions=0 nbAssignments=53058 nbFailedAssignments=23150 nbBacktracks=29533 nbVisitedNodes=105740
222.81 nbRestartNogoods=78
222.81 => wckTime=180.318 cpuTime=179.17 mem=26M979
313.26
313.26 search
313.26 run=18 nbConstraintChecks=92873431 nbValidityChecks=339631869 nbPropagations=0 nbRevisions=0
313.26 nbUselessRevisions=0 nbAssignments=78719 nbFailedAssignments=34014 nbBacktracks=44311 nbVisitedNodes=157039
313.26 nbRestartNogoods=85
313.26 => wckTime=270.772 cpuTime=269.13 mem=26M979
455.63
455.63 search
455.63 run=19 nbConstraintChecks=137345949 nbValidityChecks=514581755 nbPropagations=0 nbRevisions=0
455.63 nbUselessRevisions=0 nbAssignments=118406 nbFailedAssignments=51515 nbBacktracks=66479 nbVisitedNodes=236288
455.63 nbRestartNogoods=92
455.63 => wckTime=413.137 cpuTime=410.72 mem=26M979
662.51
662.51 search
662.51 run=20 nbConstraintChecks=203949679 nbValidityChecks=776641062 nbPropagations=0 nbRevisions=0
662.51 nbUselessRevisions=0 nbAssignments=176786 nbFailedAssignments=76624 nbBacktracks=99732 nbVisitedNodes=353007
662.51 nbRestartNogoods=99
662.51 => wckTime=620.016 cpuTime=616.47 mem=26M979
980.45
980.45 search
980.45 run=21 nbConstraintChecks=303870228 nbValidityChecks=1165090959 nbPropagations=0 nbRevisions=0
980.45 nbUselessRevisions=0 nbAssignments=265984 nbFailedAssignments=115928 nbBacktracks=149610 nbVisitedNodes=531000
980.45 nbRestartNogoods=107
980.45 => wckTime=937.964 cpuTime=932.68 mem=26M979
1444.53
1444.53 search
1444.53 run=22 nbConstraintChecks=457730286 nbValidityChecks=1730867195 nbPropagations=0 nbRevisions=0
1444.53 nbUselessRevisions=0 nbAssignments=400820 nbFailedAssignments=175928 nbBacktracks=224428 nbVisitedNodes=800045
1444.53 nbRestartNogoods=112
1444.53 => wckTime=1402.04 cpuTime=1394.24 mem=26M979
2087.93
2087.93 search
2087.93 run=23 nbConstraintChecks=698994826 nbValidityChecks=2547208005 nbPropagations=0 nbRevisions=0
2087.93 nbUselessRevisions=0 nbAssignments=599452 nbFailedAssignments=262310 nbBacktracks=336655 nbVisitedNodes=1195965
2087.93 nbRestartNogoods=123
2087.93 => wckTime=2045.435 cpuTime=2035.6 mem=26M979
2410.39 v 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-278147-1169276293 -o ROOT/results/node18/solver-278147-1169276293 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278147-1169276293/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.88 1.50 4/93 10778
/proc/meminfo: memFree=1263120/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=172 CPUtime=0
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 276023990 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0
/proc/10777/statm: 43 24 18 14 0 3 0
[startup+0.108349 s]
/proc/loadavg: 1.92 1.88 1.50 4/93 10778
/proc/meminfo: memFree=1263120/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=914988 CPUtime=0.09
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 3066 0 1 0 7 2 0 0 24 0 8 0 276023990 936947712 2812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228747 2812 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516386 s]
/proc/loadavg: 1.92 1.88 1.50 4/93 10778
/proc/meminfo: memFree=1263120/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915332 CPUtime=0.5
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 6508 0 1 0 46 4 0 0 25 0 8 0 276023990 937299968 6247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228833 6247 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33947 s]
/proc/loadavg: 1.92 1.88 1.50 3/100 10785
/proc/meminfo: memFree=1241048/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=1.31
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 8163 0 1 0 121 10 0 0 25 0 8 0 276023990 937414656 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 7901 2473 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.17
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 367 0 0 0 17 0 0 0 16 0 8 0 276023997 937414656 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 7901 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+2.99262 s]
/proc/loadavg: 1.92 1.88 1.50 3/100 10785
/proc/meminfo: memFree=1241048/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2.96
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 8170 0 1 0 275 21 0 0 25 0 8 0 276023990 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 7907 2475 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.18
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+6.29194 s]
/proc/loadavg: 1.93 1.88 1.50 3/100 10785
/proc/meminfo: memFree=1240920/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=6.25
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 8170 0 1 0 585 40 0 0 25 0 8 0 276023990 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 7907 2475 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915448 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276023993 937418752 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.18
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 7907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915444
[startup+12.7766 s]
/proc/loadavg: 1.93 1.89 1.50 3/100 10785
/proc/meminfo: memFree=1240928/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=12.69
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 8173 0 1 0 1190 79 0 0 25 0 8 0 276023990 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155497984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 7910 2475 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.18
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 276023997 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915444
[startup+25.6258 s]
/proc/loadavg: 1.95 1.89 1.51 3/100 10785
/proc/meminfo: memFree=1240864/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=25.48
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 8173 0 1 0 2390 158 0 0 25 0 8 0 276023990 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 7910 2475 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.18
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 276023997 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915448 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937418752 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 7910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915444
[startup+51.2483 s]
/proc/loadavg: 1.97 1.90 1.52 3/100 10785
/proc/meminfo: memFree=1227552/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=50.97
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11614 0 1 0 4834 263 0 0 25 0 8 0 276023990 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11346 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.3
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 276023997 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915444
[startup+102.487 s]
/proc/loadavg: 1.98 1.91 1.54 3/100 10785
/proc/meminfo: memFree=1227488/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=101.92
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11629 0 1 0 9929 263 0 0 25 0 8 0 276023990 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11361 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.3
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 440 0 0 0 29 1 0 0 16 0 8 0 276023997 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915444
[startup+162.572 s]
/proc/loadavg: 1.99 1.92 1.57 3/100 10785
/proc/meminfo: memFree=1227488/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=161.69
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11635 0 1 0 15906 263 0 0 25 0 8 0 276023990 937414656 11367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2015.11
Current children cumulated vsize (KiB) 915444
[startup+2085.15 s]
/proc/loadavg: 2.04 2.04 1.94 3/94 11066
/proc/meminfo: memFree=1255888/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2075.16
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11651 0 1 0 207232 284 0 0 25 0 8 0 276023990 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833854 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11383 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.31
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 276023997 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.16
Current children cumulated vsize (KiB) 915444
[startup+2145.15 s]
/proc/loadavg: 2.01 2.03 1.94 3/94 11066
/proc/meminfo: memFree=1255888/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2135.09
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11655 0 1 0 213225 284 0 0 25 0 8 0 276023990 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11386 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.31
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.09
Current children cumulated vsize (KiB) 915444
[startup+2205.15 s]
/proc/loadavg: 2.00 2.02 1.94 3/94 11066
/proc/meminfo: memFree=1255824/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2195.03
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11655 0 1 0 219219 284 0 0 25 0 8 0 276023990 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11386 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.31
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.03
Current children cumulated vsize (KiB) 915444
[startup+2265.16 s]
/proc/loadavg: 2.00 2.02 1.94 3/94 11066
/proc/meminfo: memFree=1255888/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2254.98
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11655 0 1 0 225213 285 0 0 25 0 8 0 276023990 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11386 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.31
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.98
Current children cumulated vsize (KiB) 915444
[startup+2325.16 s]
/proc/loadavg: 2.00 2.01 1.94 3/94 11066
/proc/meminfo: memFree=1255824/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2314.91
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11655 0 1 0 231206 285 0 0 25 0 8 0 276023990 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912886 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11386 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.31
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.91
Current children cumulated vsize (KiB) 915444
[startup+2385.17 s]
/proc/loadavg: 2.00 2.01 1.94 3/94 11066
/proc/meminfo: memFree=1255824/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2374.87
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11655 0 1 0 237202 285 0 0 25 0 8 0 276023990 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014580 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11386 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.31
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.87
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.38 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 11066
/proc/meminfo: memFree=1255824/2055920 swapFree=4192812/4192956
[pid=10777] ppid=10775 vsize=915444 CPUtime=2400.07
/proc/10777/stat : 10777 (java) R 10775 10777 10370 0 -1 0 11655 0 1 0 239722 285 0 0 25 0 8 0 276023990 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10777/statm: 228861 11386 2529 14 0 215331 0
[pid=10777/tid=10779] ppid=10775 vsize=915444 CPUtime=0.03
/proc/10777/task/10779/stat : 10779 (java) S 10775 10777 10370 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 276023993 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10780] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10780/stat : 10780 (java) S 10775 10777 10370 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10781] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10781/stat : 10781 (java) S 10775 10777 10370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276023994 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10782] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10782/stat : 10782 (java) S 10775 10777 10370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10783] ppid=10775 vsize=915444 CPUtime=0.31
/proc/10777/task/10783/stat : 10783 (java) S 10775 10777 10370 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10784] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10784/stat : 10784 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10777/tid=10785] ppid=10775 vsize=915444 CPUtime=0
/proc/10777/task/10785/stat : 10785 (java) S 10775 10777 10370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276023997 937414656 11386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2410.42
CPU time (s): 2400.11
CPU user time (s): 2397.24
CPU system time (s): 2.86256
CPU usage (%): 99.5723
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.24
system time used= 2.86256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11678
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= 50120
involuntary context switches= 92701
runsolver used 3.2945 s user time and 7.37988 s system time
The end
Begin job on node18 on Sat Jan 20 06:58:13 UTC 2007
IDJOB= 278147
IDBENCH= 8066
IDSOLVER= 69
FILE ID= node18/278147-1169276293
PBS_JOBID= 3609472
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1900-793221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278147-1169276293/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-278147-1169276293 -o ROOT/results/node18/solver-278147-1169276293 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278147-1169276293/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1bfd821571f2ed493fb9aed6526d588b
RANDOM SEED= 873884312
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.231
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.231
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: 1263536 kB
Buffers: 52968 kB
Cached: 566444 kB
SwapCached: 0 kB
Active: 284920 kB
Inactive: 427788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1263536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 122392 kB
Slab: 64600 kB
Committed_AS: 9227948 kB
PageTables: 2192 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= 66560 MiB
End job on node18 on Sat Jan 20 07:38:23 UTC 2007