0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277723-1169270308/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.102 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.54 nbConstraints=371 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=361
0.54 nbConflictsStructures=10 nbSharedConflictsStructures=361 nbSharedBinaryRepresentations=36 maxDegree=14
0.54 maxArity=2
0.54 => wckTime=0.22 cpuTime=0.15 mem=8M887
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.3 cpuTime=0.19 mem=5M565
0.62
0.62 s SATISFIABLE
0.62 o 286
0.62 c 85
0.62 o 290
0.62 c 81
0.62 o 294
0.62 c 77
0.62 o 295
0.62 c 76
0.62 o 297
0.62 c 74
0.62 o 299
0.62 c 72
0.63 o 302
0.63 c 69
0.63 o 304
0.63 c 67
0.63 o 307
0.63 c 64
0.63 o 309
0.63 c 62
0.63 o 311
0.63 c 60
0.63 o 313
0.63 c 58
0.63 o 314
0.63 c 57
0.64 o 316
0.64 c 55
0.64 o 320
0.64 c 51
0.64 o 322
0.64 c 49
0.64 o 323
0.64 c 48
0.64 o 324
0.64 c 47
0.64 o 325
0.64 c 46
0.68 o 326
0.68 c 45
0.68 o 328
0.68 c 43
0.68 o 330
0.68 c 41
0.86 o 331
0.86 c 40
0.87 o 332
0.87 c 39
1.90
1.90 search
1.90 run=0 nbConstraintChecks=3793434 nbAssignments=10000
1.90 => wckTime=1.286 cpuTime=1.26 mem=5M565
3.13
3.13 search
3.13 run=1 nbConstraintChecks=7726481 nbAssignments=20000
3.13 => wckTime=2.515 cpuTime=2.48 mem=5M565
3.18 o 333
3.18 c 38
4.33
4.33 search
4.33 run=2 nbConstraintChecks=11502773 nbAssignments=30000
4.33 => wckTime=3.716 cpuTime=3.67 mem=5M565
5.56
5.56 search
5.56 run=3 nbConstraintChecks=15430785 nbAssignments=40000
5.56 => wckTime=4.941 cpuTime=4.88 mem=5M565
6.75
6.75 search
6.75 run=4 nbConstraintChecks=19191545 nbAssignments=50000
6.75 => wckTime=6.134 cpuTime=6.07 mem=5M565
7.98
7.98 search
7.98 run=5 nbConstraintChecks=23163667 nbAssignments=60000
7.98 => wckTime=7.364 cpuTime=7.29 mem=5M565
9.17
9.17 search
9.17 run=6 nbConstraintChecks=26935692 nbAssignments=70000
9.17 => wckTime=8.555 cpuTime=8.48 mem=5M565
10.39
10.39 search
10.39 run=7 nbConstraintChecks=30896305 nbAssignments=80000
10.39 => wckTime=9.774 cpuTime=9.69 mem=5M565
11.58
11.58 search
11.58 run=8 nbConstraintChecks=34692818 nbAssignments=90000
11.58 => wckTime=10.968 cpuTime=10.88 mem=5M565
12.80
12.80 search
12.80 run=9 nbConstraintChecks=38651065 nbAssignments=100000
12.80 => wckTime=12.186 cpuTime=12.09 mem=5M565
13.99
13.99 search
13.99 run=10 nbConstraintChecks=42439807 nbAssignments=110000
14.00 => wckTime=13.379 cpuTime=13.28 mem=5M565
15.21
15.21 search
15.21 run=11 nbConstraintChecks=46401869 nbAssignments=120000
15.21 => wckTime=14.599 cpuTime=14.49 mem=5M565
16.41
16.41 search
16.41 run=12 nbConstraintChecks=50171140 nbAssignments=130000
16.41 => wckTime=15.794 cpuTime=15.69 mem=5M565
17.64
17.64 search
17.64 run=13 nbConstraintChecks=54127800 nbAssignments=140000
17.64 => wckTime=17.024 cpuTime=16.91 mem=5M565
18.84
18.84 search
18.84 run=14 nbConstraintChecks=57889959 nbAssignments=150000
18.84 => wckTime=18.224 cpuTime=18.11 mem=5M565
20.07
20.07 search
20.07 run=15 nbConstraintChecks=61850241 nbAssignments=160000
20.07 => wckTime=19.455 cpuTime=19.33 mem=5M565
21.27
21.27 search
21.27 run=16 nbConstraintChecks=65606702 nbAssignments=170000
21.27 => wckTime=20.653 cpuTime=20.52 mem=5M565
22.50
22.50 search
22.50 run=17 nbConstraintChecks=69559294 nbAssignments=180000
22.50 => wckTime=21.882 cpuTime=21.75 mem=5M565
23.70
23.70 search
23.70 run=18 nbConstraintChecks=73346817 nbAssignments=190000
23.70 => wckTime=23.086 cpuTime=22.94 mem=5M565
24.94
24.94 search
24.94 run=19 nbConstraintChecks=77290510 nbAssignments=200000
24.94 => wckTime=24.325 cpuTime=24.16 mem=5M565
26.14
26.14 search
26.14 run=20 nbConstraintChecks=81066923 nbAssignments=210000
26.14 => wckTime=25.526 cpuTime=25.36 mem=5M565
27.36
27.36 search
27.36 run=21 nbConstraintChecks=85006336 nbAssignments=220000
27.36 => wckTime=26.745 cpuTime=26.57 mem=5M565
28.56
28.56 search
28.56 run=22 nbConstraintChecks=88802309 nbAssignments=230000
28.56 => wckTime=27.94 cpuTime=27.76 mem=5M565
29.78
29.78 search
29.78 run=23 nbConstraintChecks=92775308 nbAssignments=240000
29.78 => wckTime=29.162 cpuTime=28.97 mem=5M565
30.97
30.97 search
30.97 run=24 nbConstraintChecks=96557405 nbAssignments=250000
30.97 => wckTime=30.358 cpuTime=30.17 mem=5M565
32.19
32.19 search
32.19 run=25 nbConstraintChecks=100498992 nbAssignments=260000
32.19 => wckTime=31.578 cpuTime=31.39 mem=5M565
33.36
33.36 search
33.36 run=26 nbConstraintChecks=104184064 nbAssignments=269727
33.36 => wckTime=32.74 cpuTime=32.54 mem=5M565
33.36
33.36 global
33.36 nbConstraintChecks=104184064 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.36 solvingWckTime=32.738 solvingCpuTime=32.54 expiredTime=no totalExploration=no nbFoundSolutions=0
33.36 globalCpuTime=32.79
33.36 => wckTime=33.04 cpuTime=32.73 mem=5M565
33.36
33.36 solver IterativeSystematicSolver being built...
33.50 => wckTime=33.187 cpuTime=32.85 mem=16M555
33.56
33.56 preprocessing
33.56 nbConstraintChecks=24599 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.56 detectedInconsistency=no
33.56 => wckTime=0.058 cpuTime=0.04 mem=16M555
33.60
33.60 search
33.60 run=0 nbConstraintChecks=23700 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40
33.60 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=57 nbRestartNogoods=0
33.60 => wckTime=0.091 cpuTime=0.06 mem=17M530
33.64
33.64 search
33.64 run=1 nbConstraintChecks=59686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94
33.64 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=137 nbRestartNogoods=2
33.64 => wckTime=0.134 cpuTime=0.1 mem=17M530
33.68
33.68 search
33.68 run=2 nbConstraintChecks=106867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162
33.68 nbFailedAssignments=30 nbBacktracks=49 nbVisitedNodes=239 nbRestartNogoods=3
33.68 => wckTime=0.171 cpuTime=0.13 mem=17M530
33.72
33.72 search
33.72 run=3 nbConstraintChecks=167875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=244
33.72 nbFailedAssignments=52 nbBacktracks=82 nbVisitedNodes=370 nbRestartNogoods=5
33.72 => wckTime=0.213 cpuTime=0.17 mem=17M530
33.80
33.80 search
33.80 run=4 nbConstraintChecks=268070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=360
33.80 nbFailedAssignments=92 nbBacktracks=133 nbVisitedNodes=568 nbRestartNogoods=8
33.80 => wckTime=0.295 cpuTime=0.25 mem=17M530
33.89
33.89 search
33.89 run=5 nbConstraintChecks=396528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=514
33.89 nbFailedAssignments=145 nbBacktracks=208 nbVisitedNodes=841 nbRestartNogoods=11
33.89 => wckTime=0.385 cpuTime=0.34 mem=17M530
34.02
34.02 search
34.02 run=6 nbConstraintChecks=573898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=719
34.02 nbFailedAssignments=211 nbBacktracks=323 nbVisitedNodes=1208 nbRestartNogoods=16
34.02 => wckTime=0.517 cpuTime=0.47 mem=17M530
34.20
34.20 search
34.20 run=7 nbConstraintChecks=840734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1021
34.20 nbFailedAssignments=320 nbBacktracks=493 nbVisitedNodes=1766 nbRestartNogoods=18
34.20 => wckTime=0.697 cpuTime=0.65 mem=17M530
34.50
34.50 search
34.50 run=8 nbConstraintChecks=1248252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1488
34.50 nbFailedAssignments=506 nbBacktracks=752 nbVisitedNodes=2596 nbRestartNogoods=22
34.50 => wckTime=0.993 cpuTime=0.93 mem=17M530
34.89
34.89 search
34.89 run=9 nbConstraintChecks=1846037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2151
34.89 nbFailedAssignments=758 nbBacktracks=1136 nbVisitedNodes=3806 nbRestartNogoods=27
34.89 => wckTime=1.386 cpuTime=1.31 mem=17M530
35.43
35.43 search
35.43 run=10 nbConstraintChecks=2648102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3050
35.43 nbFailedAssignments=1051 nbBacktracks=1715 nbVisitedNodes=5458 nbRestartNogoods=33
35.43 => wckTime=1.928 cpuTime=1.84 mem=17M530
36.23
36.23 search
36.23 run=11 nbConstraintChecks=3839544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4367
36.23 nbFailedAssignments=1486 nbBacktracks=2581 nbVisitedNodes=7957 nbRestartNogoods=39
36.23 => wckTime=2.724 cpuTime=2.63 mem=17M530
37.65
37.65 search
37.65 run=12 nbConstraintChecks=5829621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6407
37.65 nbFailedAssignments=2202 nbBacktracks=3878 nbVisitedNodes=11846 nbRestartNogoods=40
37.65 => wckTime=4.146 cpuTime=4.05 mem=17M530
39.58
39.58 search
39.58 run=13 nbConstraintChecks=8628789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9331
39.58 nbFailedAssignments=3149 nbBacktracks=5826 nbVisitedNodes=17206 nbRestartNogoods=44
39.59 => wckTime=6.081 cpuTime=5.98 mem=17M530
42.06
42.06 search
42.06 run=14 nbConstraintChecks=12308285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13515
42.07 nbFailedAssignments=4392 nbBacktracks=8746 nbVisitedNodes=24831 nbRestartNogoods=50
42.07 => wckTime=8.56 cpuTime=8.44 mem=17M530
45.53
45.53 search
45.53 run=15 nbConstraintChecks=18383827 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19703
45.53 nbFailedAssignments=6172 nbBacktracks=13124 nbVisitedNodes=36319 nbRestartNogoods=57
45.53 => wckTime=12.025 cpuTime=11.89 mem=17M530
50.65
50.65 search
50.65 run=16 nbConstraintChecks=26571246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29325
50.65 nbFailedAssignments=9198 nbBacktracks=19692 nbVisitedNodes=52768 nbRestartNogoods=62
50.65 => wckTime=17.141 cpuTime=16.98 mem=17M530
58.69
58.69 search
58.69 run=17 nbConstraintChecks=40142717 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44559
58.69 nbFailedAssignments=14550 nbBacktracks=29544 nbVisitedNodes=80180 nbRestartNogoods=69
58.69 => wckTime=25.186 cpuTime=24.98 mem=17M530
72.33
72.33 search
72.33 run=18 nbConstraintChecks=60270077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66325
72.33 nbFailedAssignments=21516 nbBacktracks=44323 nbVisitedNodes=119603 nbRestartNogoods=76
72.33 => wckTime=38.825 cpuTime=38.56 mem=17M530
93.73
93.73 search
93.73 run=19 nbConstraintChecks=92446792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100267
93.73 nbFailedAssignments=33264 nbBacktracks=66491 nbVisitedNodes=179795 nbRestartNogoods=82
93.73 => wckTime=60.225 cpuTime=59.86 mem=17M530
128.38
128.38 search
128.38 run=20 nbConstraintChecks=144931981 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=152654
128.38 nbFailedAssignments=52374 nbBacktracks=99744 nbVisitedNodes=277659 nbRestartNogoods=90
128.38 => wckTime=94.878 cpuTime=94.35 mem=17M530
171.66
171.66 search
171.66 run=21 nbConstraintChecks=209673817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=226792
171.66 nbFailedAssignments=76604 nbBacktracks=149622 nbVisitedNodes=408845 nbRestartNogoods=95
171.66 => wckTime=138.154 cpuTime=137.41 mem=17M530
240.18
240.18 search
240.18 run=22 nbConstraintChecks=309454785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=338945
240.18 nbFailedAssignments=113912 nbBacktracks=224447 nbVisitedNodes=607648 nbRestartNogoods=104
240.18 => wckTime=206.673 cpuTime=205.61 mem=17M530
332.02
332.02 search
332.02 run=23 nbConstraintChecks=445648267 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=500418
332.02 nbFailedAssignments=163127 nbBacktracks=336676 nbVisitedNodes=888412 nbRestartNogoods=112
332.02 => wckTime=298.517 cpuTime=297.01 mem=17M530
458.22
458.22 search
458.22 run=24 nbConstraintChecks=641944544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=728475
458.22 nbFailedAssignments=222825 nbBacktracks=505017 nbVisitedNodes=1288191 nbRestartNogoods=120
458.23 => wckTime=424.72 cpuTime=422.61 mem=17M530
638.37
638.37 search
638.37 run=25 nbConstraintChecks=905146441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1081532
638.37 nbFailedAssignments=323340 nbBacktracks=757534 nbVisitedNodes=1886903 nbRestartNogoods=125
638.37 => wckTime=604.864 cpuTime=601.89 mem=17M530
891.09
891.10 search
891.10 run=26 nbConstraintChecks=1294514615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1620612
891.10 nbFailedAssignments=483622 nbBacktracks=1136303 nbVisitedNodes=2795112 nbRestartNogoods=134
891.10 => wckTime=857.591 cpuTime=854.11 mem=17M530
1247.28
1247.28 search
1247.28 run=27 nbConstraintChecks=1887423875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2422482
1247.28 nbFailedAssignments=717310 nbBacktracks=1704454 nbVisitedNodes=4128583 nbRestartNogoods=140
1247.28 => wckTime=1213.773 cpuTime=1209.78 mem=17M530
1834.02
1834.02 search
1834.02 run=28 nbConstraintChecks=2786439536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3665110
1834.02 nbFailedAssignments=1107689 nbBacktracks=2556680 nbVisitedNodes=6166695 nbRestartNogoods=149
1834.02 => wckTime=1800.516 cpuTime=1795.83 mem=17M530
2405.46 v 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-277723-1169270308 -o ROOT/results/node21/solver-277723-1169270308 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277723-1169270308/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.85 1.94 1.92 4/87 15851
/proc/meminfo: memFree=1313224/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=18540 CPUtime=0
/proc/15850/stat : 15850 (runsolver) R 15848 15850 15734 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275425395 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15850/statm: 4635 279 244 17 0 2626 0
[startup+0.106993 s]
/proc/loadavg: 1.85 1.94 1.92 4/87 15851
/proc/meminfo: memFree=1313224/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=914988 CPUtime=0.08
/proc/15850/stat : 15850 (java) D 15848 15850 15734 0 -1 0 2988 0 1 0 6 2 0 0 17 0 8 0 275425395 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515022 s]
/proc/loadavg: 1.85 1.94 1.92 4/87 15851
/proc/meminfo: memFree=1313224/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915332 CPUtime=0.49
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 6394 0 1 0 45 4 0 0 18 0 8 0 275425395 937299968 6133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228833 6133 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33817 s]
/proc/loadavg: 1.85 1.94 1.92 4/94 15858
/proc/meminfo: memFree=1295568/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=1.3
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 7069 0 1 0 102 28 0 0 25 0 8 0 275425395 937418752 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677589 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228862 6807 2479 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.12
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 275425403 937418752 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 6807 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) 915448
[startup+2.98648 s]
/proc/loadavg: 1.85 1.94 1.92 3/94 15858
/proc/meminfo: memFree=1295504/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2.93
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 7072 0 1 0 214 79 0 0 25 0 8 0 275425395 937418752 6809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228862 6809 2479 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 6809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 6809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 6809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 6809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.13
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 275425403 937418752 6809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 6809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 6809 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) 915448
[startup+6.2711 s]
/proc/loadavg: 1.86 1.94 1.92 3/94 15858
/proc/meminfo: memFree=1295504/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=6.21
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 7073 0 1 0 433 188 0 0 25 0 8 0 275425395 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228862 6810 2479 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.13
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915448
[startup+12.7583 s]
/proc/loadavg: 1.87 1.94 1.92 3/94 15858
/proc/meminfo: memFree=1295504/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=12.66
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 7073 0 1 0 863 403 0 0 25 0 8 0 275425395 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228862 6810 2479 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.13
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 6810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915448
[startup+25.6018 s]
/proc/loadavg: 1.90 1.95 1.92 3/94 15858
/proc/meminfo: memFree=1295504/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915452 CPUtime=25.44
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 7078 0 1 0 1716 828 0 0 25 0 8 0 275425395 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228863 6815 2479 14 0 215333 0
[pid=15850/tid=15852] ppid=15848 vsize=915452 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 275425399 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915452 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915452 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915452 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915452 CPUtime=0.14
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 342 0 0 0 14 0 0 0 16 0 8 0 275425403 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915452 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915452 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937422848 6815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915452
[startup+51.2096 s]
/proc/loadavg: 1.93 1.95 1.92 3/94 15858
/proc/meminfo: memFree=1287312/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=50.92
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9212 0 1 0 4007 1085 0 0 25 0 8 0 275425395 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228862 8945 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915448
[startup+102.42 s]
/proc/loadavg: 1.97 1.95 1.92 3/94 15858
/proc/meminfo: memFree=1287248/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=101.89
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9222 0 1 0 9104 1085 0 0 25 0 8 0 275425395 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15850/statm: 228862 8953 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915448
[startup+162.474 s]
/proc/loadavg: 1.99 1.96 1.92 3/94 15858
/proc/meminfo: memFree=1287248/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=161.66
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9224 0 1 0 15080 1086 0 0 25 0 8 0 275425395 937418752 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.12
Current children cumulated vsize (KiB) 915448
[startup+2084.19 s]
/proc/loadavg: 2.01 2.01 1.97 3/100 15928
/proc/meminfo: memFree=1261160/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2079.11
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9247 0 1 0 206817 1094 0 0 25 0 8 0 275425395 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861244 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15850/statm: 228862 8976 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.11
Current children cumulated vsize (KiB) 915448
[startup+2144.24 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 15928
/proc/meminfo: memFree=1261160/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2139.09
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9247 0 1 0 212815 1094 0 0 25 0 8 0 275425395 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073691211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15850/statm: 228862 8976 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.09
Current children cumulated vsize (KiB) 915448
[startup+2204.3 s]
/proc/loadavg: 2.05 2.02 1.98 3/100 15928
/proc/meminfo: memFree=1261224/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2199.07
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9247 0 1 0 218813 1094 0 0 25 0 8 0 275425395 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15850/statm: 228862 8976 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.07
Current children cumulated vsize (KiB) 915448
[startup+2264.36 s]
/proc/loadavg: 2.07 2.03 1.98 3/100 15928
/proc/meminfo: memFree=1261160/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2259.06
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9247 0 1 0 224812 1094 0 0 25 0 8 0 275425395 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15850/statm: 228862 8976 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.06
Current children cumulated vsize (KiB) 915448
[startup+2324.41 s]
/proc/loadavg: 2.03 2.02 1.98 3/100 15928
/proc/meminfo: memFree=1261160/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2319.05
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9247 0 1 0 230811 1094 0 0 25 0 8 0 275425395 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15850/statm: 228862 8976 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.05
Current children cumulated vsize (KiB) 915448
[startup+2384.47 s]
/proc/loadavg: 2.01 2.02 1.98 3/100 15928
/proc/meminfo: memFree=1261160/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2379.04
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9247 0 1 0 236810 1094 0 0 25 0 8 0 275425395 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15850/statm: 228862 8976 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.04
Current children cumulated vsize (KiB) 915448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.45 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 15928
/proc/meminfo: memFree=1261160/2055920 swapFree=4156356/4192956
[pid=15850] ppid=15848 vsize=915448 CPUtime=2400.01
/proc/15850/stat : 15850 (java) R 15848 15850 15734 0 -1 0 9247 0 1 0 238907 1094 0 0 25 0 8 0 275425395 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15850/statm: 228862 8976 2532 14 0 215332 0
[pid=15850/tid=15852] ppid=15848 vsize=915448 CPUtime=0.02
/proc/15850/task/15852/stat : 15852 (java) S 15848 15850 15734 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15853] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15853/stat : 15853 (java) S 15848 15850 15734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15854] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15854/stat : 15854 (java) S 15848 15850 15734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275425399 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15855] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15855/stat : 15855 (java) S 15848 15850 15734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15856] ppid=15848 vsize=915448 CPUtime=0.25
/proc/15850/task/15856/stat : 15856 (java) S 15848 15850 15734 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15850/tid=15857] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15857/stat : 15857 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275425403 937418752 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15850/tid=15858] ppid=15848 vsize=915448 CPUtime=0
/proc/15850/task/15858/stat : 15858 (java) S 15848 15850 15734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275425403 937418752 8976 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) 915448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.48
CPU time (s): 2400.04
CPU user time (s): 2389.09
CPU system time (s): 10.9543
CPU usage (%): 99.7739
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.09
system time used= 10.9543
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9269
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= 49817
involuntary context switches= 68810
runsolver used 3.01354 s user time and 7.64584 s system time
The end
Begin job on node21 on Sat Jan 20 05:18:28 UTC 2007
IDJOB= 277723
IDBENCH= 7596
IDSOLVER= 68
FILE ID= node21/277723-1169270308
PBS_JOBID= 3607432
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-100-1000/cnf-2-80-400-912641_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277723-1169270308/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-277723-1169270308 -o ROOT/results/node21/solver-277723-1169270308 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277723-1169270308/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1abd4a2ec1ea32abca6984c3982fa265
RANDOM SEED= 340032982
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1313640 kB
Buffers: 47560 kB
Cached: 585992 kB
SwapCached: 2928 kB
Active: 212640 kB
Inactive: 453516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1313640 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 42628 kB
Slab: 61104 kB
Committed_AS: 5090968 kB
PageTables: 2152 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 node21 on Sat Jan 20 05:58:34 UTC 2007