0.31
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277804-1169270795/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.60 nbConstraints=1132 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=1118
0.60 nbConflictsStructures=14 nbSharedConflictsStructures=1118 nbSharedBinaryRepresentations=52 maxDegree=41
0.60 maxArity=2
0.60 => wckTime=0.286 cpuTime=0.2 mem=10M790
0.66
0.66 solver LocalSearchSolver being built...
0.70 => wckTime=0.378 cpuTime=0.25 mem=5M952
0.70
0.70 s SATISFIABLE
0.70 o 787
0.70 c 345
0.70 o 792
0.70 c 340
0.70 o 800
0.70 c 332
0.71 o 807
0.71 c 325
0.71 o 815
0.71 c 317
0.71 o 822
0.71 c 310
0.71 o 828
0.71 c 304
0.71 o 835
0.71 c 297
0.71 o 839
0.71 c 293
0.71 o 844
0.71 c 288
0.71 o 852
0.71 c 280
0.71 o 856
0.71 c 276
0.71 o 861
0.71 c 271
0.71 o 867
0.71 c 265
0.71 o 872
0.71 c 260
0.72 o 875
0.72 c 257
0.72 o 877
0.72 c 255
0.72 o 882
0.72 c 250
0.72 o 884
0.72 c 248
0.72 o 885
0.72 c 247
0.72 o 886
0.72 c 246
0.72 o 889
0.72 c 243
0.72 o 890
0.72 c 242
0.72 o 892
0.72 c 240
0.73 o 893
0.73 c 239
0.73 o 897
0.73 c 235
0.73 o 900
0.73 c 232
0.73 o 901
0.73 c 231
0.73 o 902
0.73 c 230
0.73 o 903
0.73 c 229
0.73 o 904
0.73 c 228
0.73 o 906
0.73 c 226
0.73 o 908
0.73 c 224
0.91 o 909
0.91 c 223
0.91 o 911
0.91 c 221
0.91 o 914
0.91 c 218
0.91 o 918
0.91 c 214
1.16 o 919
1.16 c 213
1.16 o 922
1.16 c 210
1.16 o 924
1.16 c 208
3.64 o 925
3.64 c 207
3.68
3.68 search
3.68 run=0 nbConstraintChecks=13859211 nbAssignments=10000
3.68 => wckTime=2.987 cpuTime=2.94 mem=5M952
6.66
6.66 search
6.66 run=1 nbConstraintChecks=28270615 nbAssignments=20000
6.66 => wckTime=5.966 cpuTime=5.88 mem=5M952
9.55
9.55 search
9.55 run=2 nbConstraintChecks=42085221 nbAssignments=30000
9.55 => wckTime=8.853 cpuTime=8.75 mem=5M952
12.54
12.55 search
12.55 run=3 nbConstraintChecks=56507952 nbAssignments=40000
12.55 => wckTime=11.852 cpuTime=11.71 mem=5M952
15.46
15.46 search
15.46 run=4 nbConstraintChecks=70333733 nbAssignments=50000
15.46 => wckTime=14.766 cpuTime=14.61 mem=5M952
18.47
18.47 search
18.47 run=5 nbConstraintChecks=84765064 nbAssignments=60000
18.47 => wckTime=17.773 cpuTime=17.59 mem=5M952
21.37
21.37 search
21.37 run=6 nbConstraintChecks=98592330 nbAssignments=70000
21.37 => wckTime=20.682 cpuTime=20.48 mem=5M952
24.36
24.36 search
24.36 run=7 nbConstraintChecks=113011419 nbAssignments=80000
24.36 => wckTime=23.667 cpuTime=23.44 mem=5M952
27.25
27.25 search
27.25 run=8 nbConstraintChecks=126850155 nbAssignments=90000
27.25 => wckTime=26.561 cpuTime=26.31 mem=5M952
30.24
30.24 search
30.24 run=9 nbConstraintChecks=141272938 nbAssignments=100000
30.24 => wckTime=29.544 cpuTime=29.26 mem=5M952
33.14
33.14 search
33.14 run=10 nbConstraintChecks=155075343 nbAssignments=110000
33.14 => wckTime=32.452 cpuTime=32.15 mem=5M952
33.91
33.91 search
33.91 run=11 nbConstraintChecks=158764542 nbAssignments=112564
33.91 => wckTime=33.221 cpuTime=32.91 mem=5M952
33.92
33.92 global
33.92 nbConstraintChecks=158764542 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.92 solvingWckTime=33.219 solvingCpuTime=32.91 expiredTime=no totalExploration=no nbFoundSolutions=0
33.92 globalCpuTime=33.21
33.92 => wckTime=33.598 cpuTime=33.16 mem=5M952
33.92
33.92 solver IterativeSystematicSolver being built...
34.07 => wckTime=33.753 cpuTime=33.27 mem=16M925
34.20
34.20 preprocessing
34.20 nbConstraintChecks=122701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
34.20 detectedInconsistency=no
34.20 => wckTime=0.122 cpuTime=0.1 mem=16M925
34.26
34.27 search
34.27 run=0 nbConstraintChecks=101639 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58
34.27 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=75 nbRestartNogoods=0
34.27 => wckTime=0.191 cpuTime=0.16 mem=17M901
34.35
34.35 search
34.35 run=1 nbConstraintChecks=237589 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127
34.35 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=170 nbRestartNogoods=2
34.35 => wckTime=0.278 cpuTime=0.24 mem=17M901
34.43
34.43 search
34.43 run=2 nbConstraintChecks=401997 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=206
34.43 nbFailedAssignments=29 nbBacktracks=47 nbVisitedNodes=282 nbRestartNogoods=4
34.43 => wckTime=0.36 cpuTime=0.32 mem=17M901
34.55
34.55 search
34.55 run=3 nbConstraintChecks=620858 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298
34.55 nbFailedAssignments=49 nbBacktracks=81 nbVisitedNodes=425 nbRestartNogoods=7
34.55 => wckTime=0.48 cpuTime=0.43 mem=17M901
34.71
34.71 search
34.71 run=4 nbConstraintChecks=944705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=424
34.71 nbFailedAssignments=84 nbBacktracks=131 nbVisitedNodes=634 nbRestartNogoods=8
34.71 => wckTime=0.635 cpuTime=0.59 mem=17M901
34.94
34.94 search
34.94 run=5 nbConstraintChecks=1438238 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=604
34.94 nbFailedAssignments=144 nbBacktracks=206 nbVisitedNodes=941 nbRestartNogoods=10
34.94 => wckTime=0.867 cpuTime=0.82 mem=17M901
35.26
35.26 search
35.26 run=6 nbConstraintChecks=2093521 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=828
35.26 nbFailedAssignments=217 nbBacktracks=319 nbVisitedNodes=1348 nbRestartNogoods=13
35.26 => wckTime=1.184 cpuTime=1.13 mem=17M901
35.77
35.77 search
35.77 run=7 nbConstraintChecks=3127931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1157
35.77 nbFailedAssignments=330 nbBacktracks=491 nbVisitedNodes=1961 nbRestartNogoods=16
35.77 => wckTime=1.696 cpuTime=1.63 mem=17M901
36.47
36.47 search
36.47 run=8 nbConstraintChecks=4497226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1586
36.47 nbFailedAssignments=465 nbBacktracks=747 nbVisitedNodes=2779 nbRestartNogoods=21
36.47 => wckTime=2.395 cpuTime=2.3 mem=17M901
37.54
37.54 search
37.54 run=9 nbConstraintChecks=6632660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2248
37.54 nbFailedAssignments=705 nbBacktracks=1132 nbVisitedNodes=4058 nbRestartNogoods=24
37.54 => wckTime=3.473 cpuTime=3.36 mem=17M901
39.21
39.21 search
39.21 run=10 nbConstraintChecks=10027452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3279
39.21 nbFailedAssignments=1122 nbBacktracks=1708 nbVisitedNodes=6069 nbRestartNogoods=26
39.21 => wckTime=5.142 cpuTime=5.01 mem=17M901
41.42
41.42 search
41.42 run=11 nbConstraintChecks=14719799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4717
41.42 nbFailedAssignments=1654 nbBacktracks=2573 nbVisitedNodes=8882 nbRestartNogoods=30
41.42 => wckTime=7.346 cpuTime=7.2 mem=17M901
44.54
44.54 search
44.54 run=12 nbConstraintChecks=21294149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6703
44.54 nbFailedAssignments=2305 nbBacktracks=3872 nbVisitedNodes=12790 nbRestartNogoods=35
44.54 => wckTime=10.469 cpuTime=10.29 mem=17M901
49.96
49.96 search
49.96 run=13 nbConstraintChecks=32310158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10019
49.96 nbFailedAssignments=3641 nbBacktracks=5818 nbVisitedNodes=19329 nbRestartNogoods=40
49.96 => wckTime=15.887 cpuTime=15.66 mem=17M901
57.91
57.91 search
57.91 run=14 nbConstraintChecks=48561268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15016
57.91 nbFailedAssignments=5682 nbBacktracks=8737 nbVisitedNodes=29139 nbRestartNogoods=47
57.91 => wckTime=23.838 cpuTime=23.54 mem=17M901
70.10
70.10 search
70.10 run=15 nbConstraintChecks=73399676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22453
70.10 nbFailedAssignments=8702 nbBacktracks=13116 nbVisitedNodes=43788 nbRestartNogoods=51
70.10 => wckTime=36.031 cpuTime=35.64 mem=17M901
86.78
86.78 search
86.78 run=16 nbConstraintChecks=108696781 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33114
86.78 nbFailedAssignments=12756 nbBacktracks=19684 nbVisitedNodes=64782 nbRestartNogoods=55
86.78 => wckTime=52.71 cpuTime=52.18 mem=17M901
116.17
116.17 search
116.17 run=17 nbConstraintChecks=167714564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50907
116.17 nbFailedAssignments=20661 nbBacktracks=29536 nbVisitedNodes=99793 nbRestartNogoods=60
116.17 => wckTime=82.099 cpuTime=81.32 mem=17M901
154.63
154.63 search
154.63 run=18 nbConstraintChecks=245217186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74670
154.63 nbFailedAssignments=29611 nbBacktracks=44314 nbVisitedNodes=146676 nbRestartNogoods=66
154.63 => wckTime=120.56 cpuTime=119.45 mem=17M901
213.95
213.95 search
213.95 run=19 nbConstraintChecks=363269725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109644
213.95 nbFailedAssignments=42381 nbBacktracks=66482 nbVisitedNodes=215811 nbRestartNogoods=71
213.95 => wckTime=179.874 cpuTime=178.27 mem=17M901
302.97
302.97 search
302.97 run=20 nbConstraintChecks=543265978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164427
302.97 nbFailedAssignments=63880 nbBacktracks=99735 nbVisitedNodes=324032 nbRestartNogoods=79
302.97 => wckTime=268.9 cpuTime=266.54 mem=17M901
420.23
420.23 search
420.23 run=21 nbConstraintChecks=804169182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=243054
420.23 nbFailedAssignments=92593 nbBacktracks=149613 nbVisitedNodes=479637 nbRestartNogoods=86
420.23 => wckTime=386.159 cpuTime=383.38 mem=17M901
606.58
606.58 search
606.58 run=22 nbConstraintChecks=1188045526 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=364017
606.58 nbFailedAssignments=138711 nbBacktracks=224431 nbVisitedNodes=717772 nbRestartNogoods=94
606.58 => wckTime=572.504 cpuTime=569.52 mem=17M901
887.88
887.88 search
887.88 run=23 nbConstraintChecks=1792211671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=549509
887.88 nbFailedAssignments=211945 nbBacktracks=336658 nbVisitedNodes=1081757 nbRestartNogoods=103
887.88 => wckTime=853.804 cpuTime=850.42 mem=17M901
1314.56
1314.56 search
1314.56 run=24 nbConstraintChecks=2650701023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=815793
1314.56 nbFailedAssignments=309852 nbBacktracks=505003 nbVisitedNodes=1600943 nbRestartNogoods=112
1314.56 => wckTime=1280.489 cpuTime=1276.61 mem=17M901
1893.32
1893.32 search
1893.32 run=25 nbConstraintChecks=3908643977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1216866
1893.32 nbFailedAssignments=458378 nbBacktracks=757514 nbVisitedNodes=2369847 nbRestartNogoods=119
1893.32 => wckTime=1859.247 cpuTime=1854.72 mem=17M901
2405.49 v 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-277804-1169270795 -o ROOT/results/node12/solver-277804-1169270795 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277804-1169270795/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.01 2.00 1.95 4/87 1385
/proc/meminfo: memFree=1303712/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=18540 CPUtime=0
/proc/1384/stat : 1384 (runsolver) R 1382 1384 853 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275474597 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1384/statm: 4635 279 244 17 0 2626 0
[startup+0.102627 s]
/proc/loadavg: 2.01 2.00 1.95 4/87 1385
/proc/meminfo: memFree=1303712/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=914260 CPUtime=0.08
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 2921 0 1 0 7 1 0 0 17 0 8 0 275474597 936202240 2667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 228565 2667 1397 14 0 215464 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914260
[startup+0.510698 s]
/proc/loadavg: 2.01 2.00 1.95 4/87 1385
/proc/meminfo: memFree=1303712/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916356 CPUtime=0.49
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 6267 0 1 0 45 4 0 0 18 0 8 0 275474597 938348544 6006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229089 6006 2142 14 0 215559 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916356
[startup+1.33184 s]
/proc/loadavg: 2.01 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1283816/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=1.29
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 7640 0 1 0 116 13 0 0 25 0 8 0 275474597 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229122 7378 2479 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 265 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.15
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 346 0 0 0 14 1 0 0 16 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916488
[startup+2.98114 s]
/proc/loadavg: 2.01 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1283752/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2.93
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 7641 0 1 0 259 34 0 0 25 0 8 0 275474597 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229122 7378 2479 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 265 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.15
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 346 0 0 0 14 1 0 0 16 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 7378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 916488
[startup+6.26873 s]
/proc/loadavg: 2.01 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1283752/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=6.19
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 7643 0 1 0 543 76 0 0 25 0 8 0 275474597 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229122 7380 2479 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 265 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.15
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 348 0 0 0 14 1 0 0 16 0 8 0 275474605 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 7380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 916488
[startup+12.7519 s]
/proc/loadavg: 2.01 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1283752/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=12.62
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 7644 0 1 0 1096 166 0 0 25 0 8 0 275474597 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229122 7381 2479 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 265 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.16
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 916488
[startup+25.6062 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1283816/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=25.36
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 7644 0 1 0 2195 341 0 0 25 0 8 0 275474597 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073715037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229122 7381 2479 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 265 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.16
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 7381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 916488
[startup+51.2198 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1277416/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=50.75
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9311 0 1 0 4619 456 0 0 25 0 8 0 275474597 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229122 9043 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 17 0 8 0 275474601 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 413 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 916488
[startup+102.441 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1277416/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=101.54
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9320 0 1 0 9698 456 0 0 25 0 8 0 275474597 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1384/statm: 229122 9050 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 413 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 916488
[startup+162.505 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1277352/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=161.1
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9326 0 1 0 15653 457 0 0 25 0 8 0 275474597 938483712 9056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.56
Current children cumulated vsize (KiB) 916488
[startup+2084.55 s]
/proc/loadavg: 2.00 2.00 1.98 3/99 1559
/proc/meminfo: memFree=1339552/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2079.54
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9345 0 1 0 207488 466 0 0 25 0 8 0 275474597 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073919447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1384/statm: 229122 9074 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 414 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.54
Current children cumulated vsize (KiB) 916488
[startup+2144.55 s]
/proc/loadavg: 2.05 2.01 1.99 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2139.43
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9345 0 1 0 213471 472 0 0 25 0 8 0 275474597 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918947 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1384/statm: 229122 9074 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 414 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.43
Current children cumulated vsize (KiB) 916488
[startup+2204.62 s]
/proc/loadavg: 2.02 2.01 1.99 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2199.42
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9345 0 1 0 219469 473 0 0 25 0 8 0 275474597 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073919322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1384/statm: 229122 9074 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 414 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.42
Current children cumulated vsize (KiB) 916488
[startup+2264.69 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2259.44
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9345 0 1 0 225471 473 0 0 25 0 8 0 275474597 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1384/statm: 229122 9074 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 414 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.44
Current children cumulated vsize (KiB) 916488
[startup+2324.75 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2319.44
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9345 0 1 0 231471 473 0 0 25 0 8 0 275474597 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1384/statm: 229122 9074 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 414 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.44
Current children cumulated vsize (KiB) 916488
[startup+2384.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2379.41
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9345 0 1 0 237468 473 0 0 25 0 8 0 275474597 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1384/statm: 229122 9074 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 414 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.41
Current children cumulated vsize (KiB) 916488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.48 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1384] ppid=1382 vsize=916488 CPUtime=2400.08
/proc/1384/stat : 1384 (java) R 1382 1384 853 0 -1 0 9345 0 1 0 239535 473 0 0 25 0 8 0 275474597 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1384/statm: 229122 9074 2532 14 0 215592 0
[pid=1384/tid=1386] ppid=1382 vsize=916488 CPUtime=0.03
/proc/1384/task/1386/stat : 1386 (java) S 1382 1384 853 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 275474601 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1387] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1387/stat : 1387 (java) S 1382 1384 853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1388] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1388/stat : 1388 (java) S 1382 1384 853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275474602 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1389] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1389/stat : 1389 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1390] ppid=1382 vsize=916488 CPUtime=0.28
/proc/1384/task/1390/stat : 1390 (java) S 1382 1384 853 0 -1 64 414 0 0 0 26 2 0 0 16 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1391] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1391/stat : 1391 (java) S 1382 1384 853 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1384/tid=1392] ppid=1382 vsize=916488 CPUtime=0
/proc/1384/task/1392/stat : 1392 (java) S 1382 1384 853 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275474605 938483712 9074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 916488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.54
CPU time (s): 2400.14
CPU user time (s): 2395.4
CPU system time (s): 4.74028
CPU usage (%): 99.7753
Max. virtual memory (cumulated for all children) (KiB): 916492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.4
system time used= 4.74028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9367
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= 49891
involuntary context switches= 69736
runsolver used 3.13052 s user time and 7.54585 s system time
The end
Begin job on node12 on Sat Jan 20 05:26:36 UTC 2007
IDJOB= 277804
IDBENCH= 7684
IDSOLVER= 68
FILE ID= node12/277804-1169270795
PBS_JOBID= 3607322
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-1100-2000/cnf-2-80-1400-169641_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277804-1169270795/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-277804-1169270795 -o ROOT/results/node12/solver-277804-1169270795 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277804-1169270795/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 317afce42fcd7e7220ab5eb86cb6439e
RANDOM SEED= 741643306
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.265
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.265
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: 1304192 kB
Buffers: 59672 kB
Cached: 516972 kB
SwapCached: 5164 kB
Active: 333488 kB
Inactive: 343696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1304192 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 110972 kB
Slab: 59432 kB
Committed_AS: 7691016 kB
PageTables: 2216 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= 66561 MiB
End job on node12 on Sat Jan 20 06:06:41 UTC 2007