0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276634-1169243049/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M887
0.43
0.43 relations being loaded...
0.80
0.80 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.93 => wckTime=0.603 cpuTime=0.54 mem=36M365
0.99
0.99 solver LocalSearchSolver being built...
1.03 => wckTime=0.702 cpuTime=0.59 mem=7M418
1.05
1.05 s SATISFIABLE
1.05 o 9
1.05 c 75
1.05 o 13
1.05 c 71
1.05 o 16
1.05 c 68
1.05 o 20
1.05 c 64
1.05 o 24
1.05 c 60
1.05 o 27
1.05 c 57
1.06 o 30
1.06 c 54
1.06 o 33
1.06 c 51
1.06 o 35
1.06 c 49
1.06 o 37
1.06 c 47
1.06 o 39
1.06 c 45
1.07 o 41
1.07 c 43
1.07 o 43
1.07 c 41
1.07 o 45
1.07 c 39
1.07 o 47
1.07 c 37
1.07 o 49
1.07 c 35
1.07 o 51
1.07 c 33
1.08 o 52
1.08 c 32
1.08 o 54
1.08 c 30
1.08 o 55
1.08 c 29
1.08 o 56
1.08 c 28
1.08 o 58
1.08 c 26
1.08 o 59
1.08 c 25
1.09 o 60
1.09 c 24
1.09 o 61
1.09 c 23
1.09 o 62
1.09 c 22
1.09 o 63
1.09 c 21
1.11 o 64
1.11 c 20
1.11 o 65
1.11 c 19
1.14 o 66
1.14 c 18
1.14 o 67
1.14 c 17
1.14 o 68
1.14 c 16
1.15 o 69
1.15 c 15
1.15 o 70
1.15 c 14
1.16 o 71
1.16 c 13
1.16 o 72
1.16 c 12
1.16 o 73
1.16 c 11
1.16 o 74
1.16 c 10
1.16 o 75
1.16 c 9
1.18 o 76
1.18 c 8
1.64 o 77
1.64 c 7
1.97 o 78
1.97 c 6
11.51
11.51 search
11.51 run=0 nbConstraintChecks=89215770 nbAssignments=10000
11.51 => wckTime=10.475 cpuTime=10.34 mem=7M418
23.54
23.54 search
23.54 run=1 nbConstraintChecks=189636605 nbAssignments=20000
23.54 => wckTime=22.509 cpuTime=22.28 mem=7M418
25.75 o 79
25.75 c 5
34.34
34.34 search
34.34 run=2 nbConstraintChecks=279308760 nbAssignments=30000
34.34 => wckTime=33.311 cpuTime=32.98 mem=7M418
45.51
45.51 search
45.51 run=3 nbConstraintChecks=371668856 nbAssignments=40000
45.51 => wckTime=44.477 cpuTime=44.05 mem=7M418
46.35 o 80
46.35 c 4
55.75
55.75 search
55.75 run=4 nbConstraintChecks=455059407 nbAssignments=50000
55.75 => wckTime=54.717 cpuTime=54.19 mem=7M418
65.20
65.20 search
65.20 run=5 nbConstraintChecks=532275560 nbAssignments=60000
65.20 => wckTime=64.167 cpuTime=63.56 mem=7M418
74.90
74.90 search
74.90 run=6 nbConstraintChecks=612249976 nbAssignments=70000
74.90 => wckTime=73.868 cpuTime=73.18 mem=7M418
76.62
76.62 search
76.62 run=7 nbConstraintChecks=626823812 nbAssignments=71295
76.62 => wckTime=75.592 cpuTime=74.9 mem=7M418
76.62
76.62 global
76.62 nbConstraintChecks=626823812 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
76.62 solvingWckTime=75.588 solvingCpuTime=74.9 expiredTime=no totalExploration=no nbFoundSolutions=0
76.63 globalCpuTime=75.54
76.63 => wckTime=76.295 cpuTime=75.49 mem=7M418
76.63
76.63 solver IterativeSystematicSolver being built...
76.76 => wckTime=76.425 cpuTime=75.59 mem=18M381
76.90
76.90 preprocessing
76.90 nbConstraintChecks=494194 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
76.90 detectedInconsistency=no
76.90 => wckTime=0.145 cpuTime=0.12 mem=18M381
78.23
78.23 search
78.23 run=0 nbConstraintChecks=5927111 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=248
78.23 nbFailedAssignments=226 nbBacktracks=10 nbVisitedNodes=485 nbRestartNogoods=0
78.23 => wckTime=1.468 cpuTime=1.42 mem=18M381
83.33
83.33 search
83.33 run=1 nbConstraintChecks=45702335 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1527
83.33 nbFailedAssignments=1483 nbBacktracks=25 nbVisitedNodes=3036 nbRestartNogoods=212
83.33 => wckTime=6.576 cpuTime=6.45 mem=18M381
86.02
86.02 search
86.02 run=2 nbConstraintChecks=63851102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2135
86.02 nbFailedAssignments=2060 nbBacktracks=47 nbVisitedNodes=4243 nbRestartNogoods=525
86.02 => wckTime=9.262 cpuTime=9.11 mem=18M381
89.98
89.98 search
89.98 run=3 nbConstraintChecks=91021204 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3152
89.98 nbFailedAssignments=3031 nbBacktracks=80 nbVisitedNodes=6264 nbRestartNogoods=785
89.98 => wckTime=13.22 cpuTime=13.02 mem=18M381
101.51
101.51 search
101.51 run=4 nbConstraintChecks=159932395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4924
101.51 nbFailedAssignments=4745 nbBacktracks=130 nbVisitedNodes=9800 nbRestartNogoods=1130
101.51 => wckTime=24.756 cpuTime=24.46 mem=18M381
117.90
117.90 search
117.90 run=5 nbConstraintChecks=284837344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9191
117.90 nbFailedAssignments=8932 nbBacktracks=205 nbVisitedNodes=18329 nbRestartNogoods=1369
117.90 => wckTime=41.142 cpuTime=40.69 mem=18M381
135.70
135.70 search
135.70 run=6 nbConstraintChecks=403755528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12931
135.70 nbFailedAssignments=12554 nbBacktracks=318 nbVisitedNodes=25804 nbRestartNogoods=1640
135.70 => wckTime=58.943 cpuTime=58.33 mem=18M381
150.64
150.65 search
150.65 run=7 nbConstraintChecks=489667451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16854
150.65 nbFailedAssignments=16294 nbBacktracks=488 nbVisitedNodes=33636 nbRestartNogoods=1858
150.65 => wckTime=73.888 cpuTime=73.13 mem=18M381
198.35
198.35 search
198.35 run=8 nbConstraintChecks=863461067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29735
198.35 nbFailedAssignments=28909 nbBacktracks=744 nbVisitedNodes=59388 nbRestartNogoods=2093
198.35 => wckTime=121.594 cpuTime=120.42 mem=18M381
255.21
255.21 search
255.21 run=9 nbConstraintChecks=1225410741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40387
255.21 nbFailedAssignments=39156 nbBacktracks=1128 nbVisitedNodes=80658 nbRestartNogoods=2292
255.21 => wckTime=178.452 cpuTime=176.77 mem=18M381
291.26 o 81
291.26 c 3
311.61
311.61 search
311.61 run=10 nbConstraintChecks=1570080201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51722
311.61 nbFailedAssignments=49909 nbBacktracks=1704 nbVisitedNodes=103276 nbRestartNogoods=2392
311.61 => wckTime=234.855 cpuTime=232.67 mem=18M381
343.61
343.61 search
343.61 run=11 nbConstraintChecks=1747959129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60710
343.61 nbFailedAssignments=58016 nbBacktracks=2568 nbVisitedNodes=121211 nbRestartNogoods=2423
343.61 => wckTime=266.851 cpuTime=264.39 mem=18M381
406.46
406.46 search
406.46 run=12 nbConstraintChecks=2086518292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71496
406.46 nbFailedAssignments=67499 nbBacktracks=3865 nbVisitedNodes=142695 nbRestartNogoods=2524
406.46 => wckTime=329.7 cpuTime=326.66 mem=18M381
482.15
482.15 search
482.15 run=13 nbConstraintChecks=2481307182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86168
482.15 nbFailedAssignments=80221 nbBacktracks=5811 nbVisitedNodes=171804 nbRestartNogoods=2542
482.15 => wckTime=405.394 cpuTime=401.66 mem=18M381
584.45
584.45 search
584.45 run=14 nbConstraintChecks=2974642819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103201
584.45 nbFailedAssignments=94326 nbBacktracks=8730 nbVisitedNodes=205283 nbRestartNogoods=2595
584.45 => wckTime=507.695 cpuTime=503.03 mem=18M381
756.01
756.01 search
756.01 run=15 nbConstraintChecks=3939788216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136144
756.01 nbFailedAssignments=122887 nbBacktracks=13108 nbVisitedNodes=270868 nbRestartNogoods=2637
756.01 => wckTime=679.255 cpuTime=673.0 mem=18M381
977.87
977.87 search
977.87 run=16 nbConstraintChecks=4914228934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=170542
977.87 nbFailedAssignments=150711 nbBacktracks=19676 nbVisitedNodes=338508 nbRestartNogoods=2708
977.87 => wckTime=901.109 cpuTime=892.81 mem=18M381
1320.66
1320.67 search
1320.67 run=17 nbConstraintChecks=6519665754 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=225808
1320.67 nbFailedAssignments=196121 nbBacktracks=29528 nbVisitedNodes=447514 nbRestartNogoods=2735
1320.67 => wckTime=1243.908 cpuTime=1232.29 mem=18M381
1784.09
1784.09 search
1784.09 run=18 nbConstraintChecks=8666402725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298979
1784.09 nbFailedAssignments=254512 nbBacktracks=44306 nbVisitedNodes=591796 nbRestartNogoods=2785
1784.09 => wckTime=1707.331 cpuTime=1693.48 mem=18M381
2416.48 v 143 97 2 152 40 16 6 55 0 161 178 2 36 6 1 119 171 39 10 6 117 27 41 3 150 126 18 1 118 96 148 8 168 32 82 11 164 118 30 28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-276634-1169243049 -o ROOT/results/node11/solver-276634-1169243049 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276634-1169243049/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.96 1.98 1.99 4/87 13719
/proc/meminfo: memFree=1231952/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=18540 CPUtime=0
/proc/13718/stat : 13718 (runsolver) R 13716 13718 13345 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272699996 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13718/statm: 4635 279 244 17 0 2626 0
[startup+0.103129 s]
/proc/loadavg: 1.96 1.98 1.99 4/87 13719
/proc/meminfo: memFree=1231952/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=911488 CPUtime=0.06
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 2635 0 1 0 5 1 0 0 20 0 8 0 272699996 933363712 2382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153795281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 227872 2382 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511208 s]
/proc/loadavg: 1.96 1.98 1.99 4/87 13719
/proc/meminfo: memFree=1231952/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915332 CPUtime=0.47
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 7075 0 1 0 43 4 0 0 18 0 8 0 272699996 937299968 6814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228833 6814 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33437 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13726
/proc/meminfo: memFree=1185560/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=1.28
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14235 0 1 0 120 8 0 0 24 0 8 0 272699996 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 13973 2479 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272700000 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.11
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272700005 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915444
[startup+2.9867 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13726
/proc/meminfo: memFree=1185560/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2.92
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14241 0 1 0 275 17 0 0 25 0 8 0 272699996 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 13978 2479 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) R 13716 13718 13345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.12
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.27535 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13726
/proc/meminfo: memFree=1185432/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=6.17
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14241 0 1 0 587 30 0 0 25 0 8 0 272699996 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 13978 2479 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.12
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915444
[startup+12.7636 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 13726
/proc/meminfo: memFree=1185432/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=12.6
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14243 0 1 0 1207 53 0 0 25 0 8 0 272699996 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 13980 2479 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.12
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.6102 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 13726
/proc/meminfo: memFree=1185496/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=25.34
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14243 0 1 0 2438 96 0 0 25 0 8 0 272699996 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 13980 2479 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.12
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915444
[startup+51.2193 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 13726
/proc/meminfo: memFree=1185624/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=50.73
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14243 0 1 0 4881 192 0 0 25 0 8 0 272699996 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 13980 2479 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.12
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915444
[startup+102.439 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13726
/proc/meminfo: memFree=1185240/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=101.48
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14407 0 1 0 9858 290 0 0 25 0 8 0 272699996 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 14134 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.23
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272700005 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915444
[startup+162.516 s]
/proc/loadavg: 2.05 2.00 2.00 3/94 13726
/proc/meminfo: memFree=1185304/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=161.02
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14409 0 1 0 15811 291 0 0 25 0 8 0 272699996 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2009.23
Current children cumulated vsize (KiB) 915444
[startup+2084.93 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13924
/proc/meminfo: memFree=1185112/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2069.02
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14414 0 1 0 206596 306 0 0 25 0 8 0 272699996 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13718/statm: 228861 14137 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.24
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2069.02
Current children cumulated vsize (KiB) 915444
[startup+2144.99 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214504/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2128.82
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14414 0 1 0 212575 307 0 0 25 0 8 0 272699996 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13718/statm: 228861 14137 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.24
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.82
Current children cumulated vsize (KiB) 915444
[startup+2205.05 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214184/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2188.82
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14414 0 1 0 218575 307 0 0 25 0 8 0 272699996 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13718/statm: 228861 14137 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.24
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2188.82
Current children cumulated vsize (KiB) 915444
[startup+2265.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 13985
/proc/meminfo: memFree=1214184/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2248.81
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14414 0 1 0 224573 308 0 0 25 0 8 0 272699996 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13718/statm: 228861 14137 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.24
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.81
Current children cumulated vsize (KiB) 915444
[startup+2325.16 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 13987
/proc/meminfo: memFree=1213992/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2308.79
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14414 0 1 0 230571 308 0 0 25 0 8 0 272699996 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13718/statm: 228861 14137 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.24
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.79
Current children cumulated vsize (KiB) 915444
[startup+2385.21 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 13987
/proc/meminfo: memFree=1214056/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2368.79
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14414 0 1 0 236571 308 0 0 25 0 8 0 272699996 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13718/statm: 228861 14137 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.24
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.79
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.47 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 13987
/proc/meminfo: memFree=1214056/2055920 swapFree=4171812/4192956
[pid=13718] ppid=13716 vsize=915444 CPUtime=2400.01
/proc/13718/stat : 13718 (java) R 13716 13718 13345 0 -1 0 14414 0 1 0 239693 308 0 0 25 0 8 0 272699996 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13718/statm: 228861 14137 2532 14 0 215331 0
[pid=13718/tid=13720] ppid=13716 vsize=915444 CPUtime=0.04
/proc/13718/task/13720/stat : 13720 (java) S 13716 13718 13345 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272700000 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13721] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13721/stat : 13721 (java) S 13716 13718 13345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13722] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13722/stat : 13722 (java) S 13716 13718 13345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272700001 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13723] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13723/stat : 13723 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13724] ppid=13716 vsize=915444 CPUtime=0.24
/proc/13718/task/13724/stat : 13724 (java) S 13716 13718 13345 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13725] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13725/stat : 13725 (java) S 13716 13718 13345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13718/tid=13726] ppid=13716 vsize=915444 CPUtime=0
/proc/13718/task/13726/stat : 13726 (java) S 13716 13718 13345 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272700005 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2416.54
CPU time (s): 2400.08
CPU user time (s): 2396.98
CPU system time (s): 3.09153
CPU usage (%): 99.3186
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.98
system time used= 3.09153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14434
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= 50028
involuntary context switches= 84145
runsolver used 3.10153 s user time and 7.61184 s system time
The end
Begin job on node11 on Fri Jan 19 21:44:10 UTC 2007
IDJOB= 276634
IDBENCH= 5912
IDSOLVER= 68
FILE ID= node11/276634-1169243049
PBS_JOBID= 3589034
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276634-1169243049/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-276634-1169243049 -o ROOT/results/node11/solver-276634-1169243049 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276634-1169243049/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 72dbfb712f00f9ef9cf42feeefee423d
RANDOM SEED= 704968716
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.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 : 5931.00
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: 1232368 kB
Buffers: 62524 kB
Cached: 588400 kB
SwapCached: 2828 kB
Active: 274240 kB
Inactive: 470204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1232368 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 3516 kB
Writeback: 0 kB
Mapped: 112576 kB
Slab: 63668 kB
Committed_AS: 8203880 kB
PageTables: 2548 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= 66559 MiB
End job on node11 on Fri Jan 19 22:24:26 UTC 2007