0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/276211-1169233506/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=908 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.319 cpuTime=0.23 mem=13M723
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.409 cpuTime=0.28 mem=6M127
0.73
0.73 s SATISFIABLE
0.73 o 217
0.73 c 59
0.73 o 221
0.73 c 55
0.73 o 226
0.73 c 50
0.73 o 231
0.73 c 45
0.74 o 235
0.74 c 41
0.74 o 241
0.74 c 35
0.74 o 244
0.74 c 32
0.74 o 246
0.74 c 30
0.74 o 250
0.74 c 26
0.74 o 254
0.74 c 22
0.74 o 255
0.74 c 21
0.74 o 257
0.74 c 19
0.74 o 260
0.74 c 16
0.74 o 262
0.74 c 14
0.75 o 263
0.75 c 13
0.75 o 265
0.75 c 11
0.75 o 267
0.75 c 9
0.75 o 268
0.75 c 8
0.78 o 269
0.78 c 7
0.80 o 270
0.80 c 6
0.80 o 271
0.80 c 5
0.81 o 272
0.82 c 4
0.82 o 273
0.82 c 3
1.22 o 274
1.22 c 2
3.26 o 275
3.26 c 1
3.26
3.26 search
3.26 run=0 nbConstraintChecks=18188416 nbAssignments=8200
3.26 => wckTime=2.541 cpuTime=2.51 mem=6M127
3.26
3.27 global
3.27 nbConstraintChecks=18188416 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.27 solvingWckTime=2.537 solvingCpuTime=2.5 expiredTime=no totalExploration=no nbFoundSolutions=0
3.27 globalCpuTime=2.84
3.27 => wckTime=2.95 cpuTime=2.79 mem=6M127
3.27
3.27 solver IterativeSystematicSolver being built...
3.40 => wckTime=3.084 cpuTime=2.9 mem=17M68
3.47
3.47 preprocessing
3.47 nbConstraintChecks=77223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.47 detectedInconsistency=no
3.47 => wckTime=0.066 cpuTime=0.04 mem=17M68
3.51
3.51 search
3.51 run=0 nbConstraintChecks=160332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40
3.51 nbFailedAssignments=25 nbBacktracks=10 nbVisitedNodes=76 nbRestartNogoods=0
3.51 => wckTime=0.113 cpuTime=0.08 mem=17M68
3.57
3.57 search
3.57 run=1 nbConstraintChecks=368216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93
3.57 nbFailedAssignments=58 nbBacktracks=25 nbVisitedNodes=177 nbRestartNogoods=15
3.57 => wckTime=0.173 cpuTime=0.13 mem=17M68
3.63
3.63 search
3.63 run=2 nbConstraintChecks=631025 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162
3.63 nbFailedAssignments=100 nbBacktracks=47 nbVisitedNodes=310 nbRestartNogoods=26
3.63 => wckTime=0.231 cpuTime=0.18 mem=17M68
3.73
3.73 search
3.73 run=3 nbConstraintChecks=1098287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=287
3.73 nbFailedAssignments=187 nbBacktracks=80 nbVisitedNodes=554 nbRestartNogoods=40
3.73 => wckTime=0.334 cpuTime=0.28 mem=17M68
3.88
3.88 search
3.88 run=4 nbConstraintChecks=1797686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=466
3.88 nbFailedAssignments=311 nbBacktracks=130 nbVisitedNodes=906 nbRestartNogoods=66
3.88 => wckTime=0.476 cpuTime=0.42 mem=17M68
4.07
4.07 search
4.07 run=5 nbConstraintChecks=2774831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=704
4.07 nbFailedAssignments=469 nbBacktracks=205 nbVisitedNodes=1376 nbRestartNogoods=88
4.07 => wckTime=0.671 cpuTime=0.62 mem=17M68
4.41
4.41 search
4.41 run=6 nbConstraintChecks=4458416 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1109
4.41 nbFailedAssignments=756 nbBacktracks=318 nbVisitedNodes=2177 nbRestartNogoods=95
4.41 => wckTime=1.008 cpuTime=0.95 mem=17M68
4.87
4.87 search
4.87 run=7 nbConstraintChecks=6701113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1669
4.87 nbFailedAssignments=1142 nbBacktracks=488 nbVisitedNodes=3287 nbRestartNogoods=109
4.87 => wckTime=1.466 cpuTime=1.38 mem=17M68
5.56
5.56 search
5.56 run=8 nbConstraintChecks=10401549 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2549
5.56 nbFailedAssignments=1762 nbBacktracks=744 nbVisitedNodes=5035 nbRestartNogoods=132
5.56 => wckTime=2.163 cpuTime=2.07 mem=17M68
6.60
6.60 search
6.60 run=9 nbConstraintChecks=15752360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3923
6.60 nbFailedAssignments=2748 nbBacktracks=1128 nbVisitedNodes=7765 nbRestartNogoods=170
6.60 => wckTime=3.199 cpuTime=3.1 mem=17M68
8.02
8.02 search
8.02 run=10 nbConstraintChecks=23283372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5767
8.02 nbFailedAssignments=4011 nbBacktracks=1704 nbVisitedNodes=11434 nbRestartNogoods=211
8.02 => wckTime=4.625 cpuTime=4.51 mem=17M68
10.12
10.12 search
10.12 run=11 nbConstraintChecks=34336373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8465
10.12 nbFailedAssignments=5840 nbBacktracks=2568 nbVisitedNodes=16795 nbRestartNogoods=225
10.12 => wckTime=6.718 cpuTime=6.6 mem=17M68
13.08
13.08 search
13.08 run=12 nbConstraintChecks=50224533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12074
13.08 nbFailedAssignments=8148 nbBacktracks=3865 nbVisitedNodes=23834 nbRestartNogoods=233
13.08 => wckTime=9.678 cpuTime=9.54 mem=17M68
16.94
16.94 search
16.94 run=13 nbConstraintChecks=71007141 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16786
16.94 nbFailedAssignments=10909 nbBacktracks=5811 nbVisitedNodes=32621 nbRestartNogoods=254
16.94 => wckTime=13.536 cpuTime=13.38 mem=17M68
22.43
22.43 search
22.43 run=14 nbConstraintChecks=100130439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23413
22.43 nbFailedAssignments=14612 nbBacktracks=8730 nbVisitedNodes=44324 nbRestartNogoods=268
22.43 => wckTime=19.032 cpuTime=18.85 mem=17M68
29.97
29.97 search
29.97 run=15 nbConstraintChecks=140577970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32761
29.97 nbFailedAssignments=19578 nbBacktracks=13108 nbVisitedNodes=60618 nbRestartNogoods=292
29.97 => wckTime=26.572 cpuTime=26.36 mem=17M68
40.96
40.96 search
40.96 run=16 nbConstraintChecks=203747776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46938
40.96 nbFailedAssignments=27183 nbBacktracks=19676 nbVisitedNodes=85372 nbRestartNogoods=319
40.96 => wckTime=37.562 cpuTime=37.34 mem=17M68
56.26
56.26 search
56.26 run=17 nbConstraintChecks=291629737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67085
56.26 nbFailedAssignments=37474 nbBacktracks=29528 nbVisitedNodes=119578 nbRestartNogoods=341
56.26 => wckTime=52.865 cpuTime=52.63 mem=17M68
79.35
79.35 search
79.35 run=18 nbConstraintChecks=424374250 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=97191
79.35 nbFailedAssignments=52798 nbBacktracks=44306 nbVisitedNodes=170881 nbRestartNogoods=372
79.35 => wckTime=75.955 cpuTime=75.73 mem=17M68
114.37
114.37 search
114.37 run=19 nbConstraintChecks=625794837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143035
114.37 nbFailedAssignments=76471 nbBacktracks=66474 nbVisitedNodes=249341 nbRestartNogoods=389
114.37 => wckTime=110.97 cpuTime=110.73 mem=17M68
164.87
164.87 search
164.87 run=20 nbConstraintChecks=917153348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=210055
164.87 nbFailedAssignments=110235 nbBacktracks=99726 nbVisitedNodes=362871 nbRestartNogoods=435
164.87 => wckTime=161.468 cpuTime=161.21 mem=17M68
241.26
241.26 search
241.26 run=21 nbConstraintChecks=1355385272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=311515
241.26 nbFailedAssignments=161814 nbBacktracks=149604 nbVisitedNodes=535264 nbRestartNogoods=462
241.26 => wckTime=237.86 cpuTime=237.59 mem=17M68
355.60
355.60 search
355.60 run=22 nbConstraintChecks=2013263442 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=463237
355.60 nbFailedAssignments=238713 nbBacktracks=224423 nbVisitedNodes=792327 nbRestartNogoods=511
355.60 => wckTime=352.204 cpuTime=351.91 mem=17M68
534.86
534.86 search
534.86 run=23 nbConstraintChecks=3047262532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=692898
534.86 nbFailedAssignments=356144 nbBacktracks=336650 nbVisitedNodes=1184026 nbRestartNogoods=561
534.86 => wckTime=531.462 cpuTime=531.11 mem=17M68
792.49
792.49 search
792.49 run=24 nbConstraintChecks=4525813292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1030954
792.49 nbFailedAssignments=525856 nbBacktracks=504991 nbVisitedNodes=1755869 nbRestartNogoods=602
792.49 => wckTime=789.089 cpuTime=788.68 mem=17M68
1184.22
1184.22 search
1184.22 run=25 nbConstraintChecks=6770460087 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1537790
1184.22 nbFailedAssignments=780176 nbBacktracks=757503 nbVisitedNodes=2611610 nbRestartNogoods=653
1184.22 => wckTime=1180.82 cpuTime=1180.31 mem=17M68
1774.07
1774.07 search
1774.07 run=26 nbConstraintChecks=10155862505 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1774.07 nbAssignments=2300658 nbFailedAssignments=1164273 nbBacktracks=1136270 nbVisitedNodes=3901785
1774.07 nbRestartNogoods=693
1774.07 => wckTime=1770.671 cpuTime=1770.02 mem=17M68
2400.75 v 2 6 4 21 15 19 3 8 6 18 17 7 14 19 12 14 10 2 1 16 1 18 16 12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-276211-1169233506 -o ROOT/results/node29/solver-276211-1169233506 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276211-1169233506/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: 2.00 2.02 2.00 2/86 12044
/proc/meminfo: memFree=1378408/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=18540 CPUtime=0
/proc/12043/stat : 12043 (runsolver) R 12041 12043 10810 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271744738 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12043/statm: 4635 279 244 17 0 2626 0
[startup+0.102979 s]
/proc/loadavg: 2.00 2.02 2.00 2/86 12044
/proc/meminfo: memFree=1378408/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=914988 CPUtime=0.08
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 2955 0 1 0 6 2 0 0 17 0 8 0 271744738 936947712 2701 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12043/statm: 228747 2701 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511991 s]
/proc/loadavg: 2.00 2.02 2.00 2/86 12044
/proc/meminfo: memFree=1378408/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915332 CPUtime=0.48
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 6900 0 1 0 43 5 0 0 18 0 8 0 271744738 937299968 6639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12043/statm: 228833 6639 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33304 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12051
/proc/meminfo: memFree=1355248/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=1.3
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 8454 0 1 0 115 15 0 0 24 0 8 0 271744738 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12043/statm: 228866 8192 2479 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 309 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.14
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 271744746 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97014 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12051
/proc/meminfo: memFree=1355248/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2.92
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 8455 0 1 0 255 37 0 0 25 0 8 0 271744738 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12043/statm: 228866 8192 2479 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 309 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.14
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 271744746 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8192 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) 915464
[startup+6.26235 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12051
/proc/meminfo: memFree=1352376/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=6.2
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9194 0 1 0 577 43 0 0 25 0 8 0 271744738 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12043/statm: 228866 8928 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 17 0 8 0 271744742 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.23
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 400 0 0 0 21 2 0 0 15 0 8 0 271744746 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7428 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12051
/proc/meminfo: memFree=1352376/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=12.65
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9205 0 1 0 1222 43 0 0 25 0 8 0 271744738 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073899895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12043/statm: 228866 8938 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.24
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 271744746 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915464
[startup+25.6086 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12051
/proc/meminfo: memFree=1352568/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=25.46
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9212 0 1 0 2503 43 0 0 25 0 8 0 271744738 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12043/statm: 228866 8945 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.24
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 271744746 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
[startup+51.3032 s]
/proc/loadavg: 1.72 1.95 1.98 2/85 12069
/proc/meminfo: memFree=1363336/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=51.13
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9220 0 1 0 5068 45 0 0 25 0 8 0 271744738 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8952 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.24
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 2 0 0 16 0 8 0 271744746 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915464
[startup+102.582 s]
/proc/loadavg: 1.31 1.80 1.92 2/85 12069
/proc/meminfo: memFree=1363464/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=102.39
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9225 0 1 0 10194 45 0 0 25 0 8 0 271744738 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8957 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.24
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 2 0 0 16 0 8 0 271744746 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915464
[startup+162.598 s]
/proc/loadavg: 1.11 1.65 1.86 2/85 12069
/proc/meminfo: memFree=1363528/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=162.39
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9227 0 1 0 16194 45 0 0 25 0 8 0 271744738 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884426 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.51
Current children cumulated vsize (KiB) 915464
[startup+2083.18 s]
/proc/loadavg: 1.00 1.01 1.08 2/85 12071
/proc/meminfo: memFree=1363464/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2082.52
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9247 0 1 0 208200 52 0 0 25 0 8 0 271744738 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889047 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8978 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.25
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 3 0 0 16 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.52
Current children cumulated vsize (KiB) 915464
[startup+2143.2 s]
/proc/loadavg: 1.00 1.00 1.08 2/85 12071
/proc/meminfo: memFree=1363464/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2142.52
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9247 0 1 0 214200 52 0 0 25 0 8 0 271744738 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8978 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.25
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 3 0 0 16 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.52
Current children cumulated vsize (KiB) 915464
[startup+2203.22 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 12071
/proc/meminfo: memFree=1363400/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2202.53
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9247 0 1 0 220201 52 0 0 25 0 8 0 271744738 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8978 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.25
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 3 0 0 16 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.53
Current children cumulated vsize (KiB) 915464
[startup+2263.24 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 12071
/proc/meminfo: memFree=1363464/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2262.53
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9247 0 1 0 226201 52 0 0 25 0 8 0 271744738 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889473 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8978 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.25
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 3 0 0 16 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.53
Current children cumulated vsize (KiB) 915464
[startup+2323.26 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 12071
/proc/meminfo: memFree=1363400/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2322.53
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9247 0 1 0 232201 52 0 0 25 0 8 0 271744738 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8978 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.25
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 3 0 0 16 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.53
Current children cumulated vsize (KiB) 915464
[startup+2383.28 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 12071
/proc/meminfo: memFree=1363464/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2382.54
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9247 0 1 0 238201 53 0 0 25 0 8 0 271744738 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8978 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.25
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 3 0 0 16 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.54
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.75 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 12071
/proc/meminfo: memFree=1363400/2055920 swapFree=4161388/4192956
[pid=12043] ppid=12041 vsize=915464 CPUtime=2400.01
/proc/12043/stat : 12043 (java) R 12041 12043 10810 0 -1 0 9247 0 1 0 239948 53 0 0 25 0 8 0 271744738 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12043/statm: 228866 8978 2532 14 0 215336 0
[pid=12043/tid=12045] ppid=12041 vsize=915464 CPUtime=0.02
/proc/12043/task/12045/stat : 12045 (java) S 12041 12043 10810 0 -1 64 310 0 0 0 2 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12046] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12046/stat : 12046 (java) S 12041 12043 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271744742 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12047] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12047/stat : 12047 (java) S 12041 12043 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271744743 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12048] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12048/stat : 12048 (java) S 12041 12043 10810 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12049] ppid=12041 vsize=915464 CPUtime=0.25
/proc/12043/task/12049/stat : 12049 (java) S 12041 12043 10810 0 -1 64 404 0 0 0 22 3 0 0 16 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12050] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12050/stat : 12050 (java) S 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271744746 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12043/tid=12051] ppid=12041 vsize=915464 CPUtime=0
/proc/12043/task/12051/stat : 12051 (java) R 12041 12043 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271744746 937435136 8978 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) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.81
CPU time (s): 2400.08
CPU user time (s): 2399.54
CPU system time (s): 0.539917
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.54
system time used= 0.539917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9270
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= 49724
involuntary context switches= 54474
runsolver used 2.41963 s user time and 6.12907 s system time
The end
Begin job on node29 on Fri Jan 19 19:05:06 UTC 2007
IDJOB= 276211
IDBENCH= 5467
IDSOLVER= 68
FILE ID= node29/276211-1169233506
PBS_JOBID= 3589204
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-53021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276211-1169233506/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-276211-1169233506 -o ROOT/results/node29/solver-276211-1169233506 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276211-1169233506/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 52ce1adbb69405dbd0eb9fe0ed582574
RANDOM SEED= 185211222
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.241
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.241
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: 1378888 kB
Buffers: 39720 kB
Cached: 532756 kB
SwapCached: 2192 kB
Active: 170600 kB
Inactive: 435652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1378888 kB
SwapTotal: 4192956 kB
SwapFree: 4161388 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 50412 kB
Slab: 55576 kB
Committed_AS: 5029784 kB
PageTables: 2352 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= 66563 MiB
End job on node29 on Fri Jan 19 19:45:07 UTC 2007