0.07/0.10
0.07/0.10 Abscon 112 (May, 2008)
0.17/0.27
0.17/0.27 configuration
0.17/0.27 name=mrdac-wdeg.xml
0.27/0.32
0.27/0.32 instance
0.27/0.32 name=HOME/instance-1127241-1216188507.xml
0.27/0.35
0.27/0.35 domains being loaded...
0.27/0.36
0.27/0.36 variables being loaded...
0.27/0.39 nbVariables=6 nbDomainTypes=2 minDomainSize=1 maxDomainSize=10 nbTotalValues=51
0.27/0.39 => wckTime=0.113 cpuTime=0.11 mem=7M858
0.27/0.39
0.27/0.39 relations being loaded...
0.37/0.40
0.37/0.40 constraints being loaded...
0.37/0.45 nbConstraints=6 nbRelationTypes=4 nbSingletonDomainVariables=1 nbExtensionStructures=4
0.37/0.45 nbSharedExtensionStructures=2 nbConflictsStructures=4 nbSharedConflictsStructures=2
0.37/0.45 nbSharedBinaryRepresentations=28 minDegree=2 maxDegree=4 minArity=2 avgArity=2.33 maxArity=3
0.37/0.45 => wckTime=0.171 cpuTime=0.15 mem=9M860
0.46/0.50
0.46/0.50 solver LocalSearchSolver being built...
0.46/0.55 => wckTime=0.269 cpuTime=0.2 mem=5M391
0.46/0.55
0.46/0.55 s SATISFIABLE
0.46/0.55 o 3
0.46/0.55 o 2
0.46/0.55 o 1
1.16/1.20
1.16/1.20 search
1.16/1.20 run=0 nbConstraintChecks=517620 nbAssignments=10000
1.16/1.20 => wckTime=0.658 cpuTime=0.63 mem=6M383
1.76/1.83
1.76/1.83 search
1.76/1.83 run=1 nbConstraintChecks=1037329 nbAssignments=20000
1.76/1.83 => wckTime=1.282 cpuTime=1.24 mem=6M383
2.34/2.43
2.34/2.43 search
2.34/2.43 run=2 nbConstraintChecks=1556020 nbAssignments=30000
2.34/2.43 => wckTime=1.89 cpuTime=1.84 mem=6M383
2.95/3.03
2.95/3.03 search
2.95/3.03 run=3 nbConstraintChecks=2075654 nbAssignments=40000
2.95/3.03 => wckTime=2.488 cpuTime=2.44 mem=6M383
3.54/3.64
3.54/3.64 search
3.54/3.64 run=4 nbConstraintChecks=2596472 nbAssignments=50000
3.54/3.64 => wckTime=3.092 cpuTime=3.03 mem=6M383
4.13/4.23
4.13/4.23 search
4.13/4.23 run=5 nbConstraintChecks=3113987 nbAssignments=60000
4.13/4.23 => wckTime=3.683 cpuTime=3.62 mem=6M383
4.73/4.83
4.73/4.83 search
4.73/4.83 run=6 nbConstraintChecks=3638034 nbAssignments=70000
4.73/4.83 => wckTime=4.286 cpuTime=4.22 mem=6M383
5.32/5.43
5.32/5.43 search
5.32/5.43 run=7 nbConstraintChecks=4157662 nbAssignments=80000
5.32/5.43 => wckTime=4.884 cpuTime=4.81 mem=6M383
5.92/6.03
5.92/6.03 search
5.92/6.03 run=8 nbConstraintChecks=4676243 nbAssignments=90000
5.92/6.03 => wckTime=5.483 cpuTime=5.4 mem=6M383
6.52/6.63
6.52/6.63 search
6.52/6.63 run=9 nbConstraintChecks=5193098 nbAssignments=100000
6.52/6.63 => wckTime=6.084 cpuTime=5.99 mem=6M383
7.11/7.23
7.11/7.23 search
7.11/7.23 run=10 nbConstraintChecks=5715074 nbAssignments=110000
7.11/7.23 => wckTime=6.683 cpuTime=6.59 mem=6M383
7.70/7.83
7.70/7.83 search
7.70/7.83 run=11 nbConstraintChecks=6231528 nbAssignments=120000
7.70/7.83 => wckTime=7.281 cpuTime=7.18 mem=6M383
8.29/8.42
8.29/8.42 search
8.29/8.42 run=12 nbConstraintChecks=6748185 nbAssignments=130000
8.29/8.42 => wckTime=7.881 cpuTime=7.78 mem=6M383
8.89/9.03
8.89/9.03 search
8.89/9.03 run=13 nbConstraintChecks=7268459 nbAssignments=140000
8.89/9.03 => wckTime=8.484 cpuTime=8.38 mem=6M383
9.48/9.62
9.48/9.62 search
9.48/9.62 run=14 nbConstraintChecks=7788695 nbAssignments=150000
9.48/9.62 => wckTime=9.079 cpuTime=8.97 mem=6M383
10.08/10.23
10.08/10.23 search
10.08/10.23 run=15 nbConstraintChecks=8307425 nbAssignments=160000
10.08/10.23 => wckTime=9.683 cpuTime=9.56 mem=6M383
10.67/10.82
10.67/10.82 search
10.67/10.82 run=16 nbConstraintChecks=8824602 nbAssignments=170000
10.67/10.82 => wckTime=10.276 cpuTime=10.16 mem=6M383
11.26/11.42
11.26/11.42 search
11.26/11.42 run=17 nbConstraintChecks=9346555 nbAssignments=180000
11.26/11.42 => wckTime=10.88 cpuTime=10.75 mem=6M383
11.87/12.02
11.87/12.02 search
11.87/12.02 run=18 nbConstraintChecks=9865830 nbAssignments=190000
11.87/12.02 => wckTime=11.479 cpuTime=11.34 mem=6M383
12.45/12.62
12.45/12.62 search
12.45/12.62 run=19 nbConstraintChecks=10384264 nbAssignments=200000
12.45/12.62 => wckTime=12.078 cpuTime=11.93 mem=6M383
13.05/13.22
13.05/13.22 search
13.05/13.22 run=20 nbConstraintChecks=10898794 nbAssignments=210000
13.05/13.22 => wckTime=12.677 cpuTime=12.53 mem=6M383
13.65/13.82
13.65/13.82 search
13.65/13.82 run=21 nbConstraintChecks=11415949 nbAssignments=220000
13.65/13.83 => wckTime=13.281 cpuTime=13.13 mem=6M383
14.24/14.43
14.24/14.43 search
14.24/14.43 run=22 nbConstraintChecks=11938452 nbAssignments=230000
14.24/14.43 => wckTime=13.887 cpuTime=13.72 mem=6M383
14.83/15.03
14.83/15.03 search
14.83/15.04 run=23 nbConstraintChecks=12459499 nbAssignments=240000
14.83/15.04 => wckTime=14.491 cpuTime=14.32 mem=6M383
15.42/15.64
15.42/15.64 search
15.42/15.64 run=24 nbConstraintChecks=12978432 nbAssignments=250000
15.42/15.64 => wckTime=15.1 cpuTime=14.91 mem=6M383
16.02/16.24
16.02/16.24 search
16.02/16.24 run=25 nbConstraintChecks=13492127 nbAssignments=260000
16.02/16.24 => wckTime=15.699 cpuTime=15.52 mem=6M383
16.61/16.85
16.61/16.85 search
16.61/16.85 run=26 nbConstraintChecks=14011473 nbAssignments=270000
16.61/16.85 => wckTime=16.309 cpuTime=16.12 mem=6M383
17.21/17.45
17.21/17.45 search
17.21/17.45 run=27 nbConstraintChecks=14529056 nbAssignments=280000
17.21/17.45 => wckTime=16.91 cpuTime=16.72 mem=6M383
17.79/18.06
17.79/18.06 search
17.79/18.06 run=28 nbConstraintChecks=15047724 nbAssignments=290000
17.79/18.06 => wckTime=17.521 cpuTime=17.32 mem=6M383
18.39/18.67
18.39/18.67 search
18.39/18.67 run=29 nbConstraintChecks=15566451 nbAssignments=300000
18.39/18.67 => wckTime=18.126 cpuTime=17.92 mem=6M383
18.99/19.28
18.99/19.28 search
18.99/19.28 run=30 nbConstraintChecks=16084680 nbAssignments=310000
18.99/19.28 => wckTime=18.731 cpuTime=18.52 mem=6M383
19.58/19.88
19.58/19.88 search
19.58/19.88 run=31 nbConstraintChecks=16605031 nbAssignments=320000
19.58/19.88 => wckTime=19.336 cpuTime=19.11 mem=6M383
20.18/20.48
20.18/20.48 search
20.18/20.48 run=32 nbConstraintChecks=17122922 nbAssignments=330000
20.18/20.48 => wckTime=19.941 cpuTime=19.72 mem=6M383
20.77/21.09
20.77/21.09 search
20.77/21.09 run=33 nbConstraintChecks=17640406 nbAssignments=340000
20.77/21.09 => wckTime=20.55 cpuTime=20.31 mem=6M383
21.36/21.69
21.36/21.69 search
21.36/21.69 run=34 nbConstraintChecks=18161127 nbAssignments=350000
21.36/21.69 => wckTime=21.151 cpuTime=20.91 mem=6M383
22.06/22.30
22.06/22.30 search
22.06/22.30 run=35 nbConstraintChecks=18677534 nbAssignments=360000
22.06/22.30 => wckTime=21.761 cpuTime=21.52 mem=6M383
22.65/22.90
22.65/22.90 search
22.65/22.91 run=36 nbConstraintChecks=19198641 nbAssignments=370000
22.65/22.91 => wckTime=22.361 cpuTime=22.12 mem=6M383
23.24/23.51
23.24/23.51 search
23.24/23.51 run=37 nbConstraintChecks=19714751 nbAssignments=380000
23.24/23.51 => wckTime=22.968 cpuTime=22.71 mem=6M383
23.84/24.11
23.84/24.11 search
23.84/24.11 run=38 nbConstraintChecks=20237068 nbAssignments=390000
23.84/24.11 => wckTime=23.568 cpuTime=23.31 mem=6M383
24.44/24.71
24.44/24.71 search
24.44/24.71 run=39 nbConstraintChecks=20757255 nbAssignments=400000
24.44/24.71 => wckTime=24.167 cpuTime=23.9 mem=6M383
25.03/25.31
25.03/25.31 search
25.03/25.31 run=40 nbConstraintChecks=21275659 nbAssignments=410000
25.03/25.31 => wckTime=24.766 cpuTime=24.49 mem=6M383
25.62/25.91
25.62/25.91 search
25.62/25.91 run=41 nbConstraintChecks=21793224 nbAssignments=420000
25.62/25.91 => wckTime=25.368 cpuTime=25.09 mem=6M383
26.21/26.51
26.21/26.51 search
26.21/26.51 run=42 nbConstraintChecks=22311701 nbAssignments=430000
26.21/26.51 => wckTime=25.968 cpuTime=25.69 mem=6M383
26.81/27.11
26.81/27.11 search
26.81/27.11 run=43 nbConstraintChecks=22829254 nbAssignments=440000
26.81/27.11 => wckTime=26.569 cpuTime=26.28 mem=6M383
27.40/27.72
27.40/27.72 search
27.40/27.72 run=44 nbConstraintChecks=23351125 nbAssignments=450000
27.40/27.72 => wckTime=27.174 cpuTime=26.87 mem=6M383
28.00/28.31
28.00/28.31 search
28.00/28.31 run=45 nbConstraintChecks=23866863 nbAssignments=460000
28.00/28.31 => wckTime=27.769 cpuTime=27.47 mem=6M383
28.59/28.92
28.59/28.92 search
28.59/28.92 run=46 nbConstraintChecks=24385006 nbAssignments=470000
28.59/28.92 => wckTime=28.375 cpuTime=28.07 mem=6M383
29.19/29.52
29.19/29.52 search
29.19/29.52 run=47 nbConstraintChecks=24904613 nbAssignments=480000
29.19/29.52 => wckTime=28.972 cpuTime=28.66 mem=6M383
29.77/30.12
29.77/30.12 search
29.77/30.12 run=48 nbConstraintChecks=25422410 nbAssignments=490000
29.77/30.12 => wckTime=29.577 cpuTime=29.25 mem=6M383
30.37/30.72
30.37/30.72 search
30.37/30.72 run=49 nbConstraintChecks=25940373 nbAssignments=500000
30.37/30.72 => wckTime=30.177 cpuTime=29.85 mem=6M383
30.48/30.89
30.48/30.89 search
30.48/30.89 run=50 nbConstraintChecks=26083081 nbAssignments=502747
30.48/30.89 => wckTime=30.342 cpuTime=30.02 mem=6M383
30.48/30.89
30.48/30.89 global
30.48/30.89 nbConstraintChecks=26083081 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.48/30.89 solvingWckTime=30.339 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.48/30.89 globalCpuTime=30.25
30.48/30.89 => wckTime=30.61 cpuTime=30.22 mem=6M383
30.48/30.89
30.48/30.89 solver DecomposerSolver being built...
30.58/30.99 => wckTime=30.715 cpuTime=30.3 mem=16M331
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C0(V0,V5)
30.58/30.99 C1(V1,V5)
30.58/30.99 C1(V1,V5)
30.58/30.99 C1(V1,V5)
30.58/30.99 C1(V1,V5)
30.58/30.99 C1(V1,V5)
30.58/30.99 C1(V1,V5)
30.58/30.99 C1(V1,V5)
30.58/31.00 C1(V1,V5)
30.58/31.00 C1(V1,V5)
30.58/31.00 C1(V1,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C2(V3,V5)
30.58/31.00 C3(V4,V5)
30.58/31.00 C3(V4,V5)
30.58/31.00 C3(V4,V5)
30.58/31.00 C3(V4,V5)
30.58/31.00 C3(V4,V5)
30.67/31.00 C3(V4,V5)
30.67/31.00 C3(V4,V5)
30.67/31.00 C3(V4,V5)
30.67/31.00 C3(V4,V5)
30.67/31.00 C3(V4,V5)
30.67/31.00 C0(V0,V5)
30.67/31.00 C1(V1,V5)
30.67/31.00 C2(V3,V5)
30.67/31.00 C3(V4,V5)
30.67/31.00
30.67/31.00 preprocessing
30.67/31.00 nbConstraintChecks=73 nbValidityChecks=16 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.67/31.00 nbRemovedValues=42 detectedInconsistency=yes
30.67/31.00 => wckTime=0.0070 cpuTime=0.01 mem=16M331
30.67/31.00
30.67/31.00 global
30.67/31.00 nbConstraintChecks=73 nbValidityChecks=16 solvingWckTime=0.0090 solvingCpuTime=0.01 expiredTime=no
30.67/31.00 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
30.67/31.00 globalCpuTime=30.34
30.67/31.00 => wckTime=30.726 cpuTime=30.31 mem=17M339
30.67/31.00
30.67/31.00 s OPTIMUM FOUND
30.67/31.00 v 8 2 8 2 8 -1
30.67/31.00 d NODES 0
30.67/31.01 d CHECKS 73
30.67/31.01
30.67/31.01 totalWckTime=30.797 totalCpuTime=30.34
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127241-1216188507/watcher-1127241-1216188507 -o /tmp/evaluation-result-1127241-1216188507/solver-1127241-1216188507 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1127241-1216188507.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.64 2.64 2.63 5/80 1322
/proc/meminfo: memFree=1835616/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=18572 CPUtime=0
/proc/1322/stat : 1322 (runsolver) R 1320 1322 1067 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 75550049 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1322/statm: 4643 292 257 25 0 2626 0
[startup+0.0330469 s]
/proc/loadavg: 2.64 2.64 2.63 5/80 1322
/proc/meminfo: memFree=1835616/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=861876 CPUtime=0.01
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 1879 0 1 0 0 1 0 0 18 0 5 0 75550049 882561024 1566 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 215469 1566 695 9 0 210448 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876
[startup+0.101151 s]
/proc/loadavg: 2.64 2.64 2.63 5/80 1322
/proc/meminfo: memFree=1835616/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866016 CPUtime=0.07
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 3634 0 1 0 6 1 0 0 18 0 9 0 75550049 886800384 3122 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216504 3122 1664 9 0 211059 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 866016
[startup+0.301189 s]
/proc/loadavg: 2.64 2.64 2.63 5/80 1322
/proc/meminfo: memFree=1835616/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866332 CPUtime=0.27
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 5522 0 1 0 24 3 0 0 18 0 9 0 75550049 887123968 4943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216583 4943 1889 9 0 211131 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866332
[startup+0.701256 s]
/proc/loadavg: 2.64 2.64 2.63 5/80 1322
/proc/meminfo: memFree=1835616/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866644 CPUtime=0.67
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8310 0 1 0 55 12 0 0 18 0 9 0 75550049 887443456 7477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216661 7477 2632 9 0 211167 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866644
[startup+1.5014 s]
/proc/loadavg: 2.64 2.64 2.63 3/89 1331
/proc/meminfo: memFree=1815960/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866644 CPUtime=1.45
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8315 0 1 0 85 60 0 0 18 0 9 0 75550049 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216661 7481 2633 9 0 211167 0
[pid=1322/tid=1324] ppid=1320 vsize=866644 CPUtime=1.3
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6185 0 1 0 71 59 0 0 25 0 9 0 75550051 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4126626705 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866644 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866644 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 334 0 0 0 10 0 0 0 16 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 866644
[startup+3.10269 s]
/proc/loadavg: 2.64 2.64 2.63 4/89 1331
/proc/meminfo: memFree=1815768/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866644 CPUtime=3.05
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8315 0 1 0 144 161 0 0 18 0 9 0 75550049 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216661 7481 2633 9 0 211167 0
[pid=1322/tid=1324] ppid=1320 vsize=866644 CPUtime=2.9
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6185 0 1 0 130 160 0 0 25 0 9 0 75550051 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866644 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866644 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 334 0 0 0 10 0 0 0 16 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887443456 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866644
[startup+6.30128 s]
/proc/loadavg: 2.59 2.63 2.63 5/89 1331
/proc/meminfo: memFree=1815640/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866648 CPUtime=6.22
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8316 0 1 0 256 366 0 0 18 0 9 0 75550049 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216662 7481 2633 9 0 211168 0
[pid=1322/tid=1324] ppid=1320 vsize=866648 CPUtime=6.06
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6186 0 1 0 241 365 0 0 25 0 9 0 75550051 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866648 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866648 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 334 0 0 0 10 0 0 0 16 0 9 0 75550055 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887447552 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 866648
[startup+12.7024 s]
/proc/loadavg: 2.62 2.64 2.63 4/89 1331
/proc/meminfo: memFree=1815520/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866648 CPUtime=12.55
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8317 0 1 0 465 790 0 0 18 0 9 0 75550049 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216662 7482 2633 9 0 211168 0
[pid=1322/tid=1324] ppid=1320 vsize=866648 CPUtime=12.4
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6186 0 1 0 451 789 0 0 25 0 9 0 75550051 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 5145350 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866648 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866648 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 335 0 0 0 10 0 0 0 16 0 9 0 75550055 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887447552 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 866648
[startup+25.5018 s]
/proc/loadavg: 2.64 2.64 2.63 4/89 1331
/proc/meminfo: memFree=1815648/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866648 CPUtime=25.22
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8318 0 1 0 936 1586 0 0 18 0 9 0 75550049 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216662 7483 2633 9 0 211168 0
[pid=1322/tid=1324] ppid=1320 vsize=866648 CPUtime=25.06
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6186 0 1 0 921 1585 0 0 25 0 9 0 75550051 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866648 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866648 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 866648
Solver just ended. Dumping a history of the last processes samples
[startup+28.7024 s]
/proc/loadavg: 2.59 2.63 2.63 5/89 1331
/proc/meminfo: memFree=1815648/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866648 CPUtime=28.4
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8318 0 1 0 1053 1787 0 0 18 0 9 0 75550049 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216662 7483 2633 9 0 211168 0
[pid=1322/tid=1324] ppid=1320 vsize=866648 CPUtime=28.23
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6186 0 1 0 1038 1785 0 0 25 0 9 0 75550051 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866648 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866648 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.4
Current children cumulated vsize (KiB) 866648
[startup+30.3016 s]
/proc/loadavg: 2.59 2.63 2.63 4/89 1331
/proc/meminfo: memFree=1815648/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866648 CPUtime=29.98
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8318 0 1 0 1105 1893 0 0 18 0 9 0 75550049 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216662 7483 2633 9 0 211168 0
[pid=1322/tid=1324] ppid=1320 vsize=866648 CPUtime=29.83
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6186 0 1 0 1091 1892 0 0 25 0 9 0 75550051 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866648 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866648 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866648 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887447552 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (KiB) 866648
[startup+30.7017 s]
/proc/loadavg: 2.59 2.63 2.63 3/89 1331
/proc/meminfo: memFree=1815648/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866644 CPUtime=30.37
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8318 0 1 0 1118 1919 0 0 18 0 9 0 75550049 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216661 7483 2633 9 0 211167 0
[pid=1322/tid=1324] ppid=1320 vsize=866644 CPUtime=30.22
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6186 0 1 0 1104 1918 0 0 25 0 9 0 75550051 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4126619791 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866644 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866644 CPUtime=0.1
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 75550055 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887443456 7483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.37
Current children cumulated vsize (KiB) 866644
[startup+30.9018 s]
/proc/loadavg: 2.59 2.63 2.63 3/89 1331
/proc/meminfo: memFree=1815648/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866644 CPUtime=30.58
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 8323 0 1 0 1125 1933 0 0 18 0 9 0 75550049 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216661 7488 2633 9 0 211167 0
[pid=1322/tid=1324] ppid=1320 vsize=866644 CPUtime=30.42
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 6188 0 1 0 1110 1932 0 0 25 0 9 0 75550051 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4159714771 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866644 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866644 CPUtime=0.11
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 339 0 0 0 11 0 0 0 16 0 9 0 75550055 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887443456 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.58
Current children cumulated vsize (KiB) 866644
[startup+31.0018 s]
/proc/loadavg: 2.59 2.63 2.63 3/89 1331
/proc/meminfo: memFree=1815648/2055920 swapFree=4192812/4192956
[pid=1322] ppid=1320 vsize=866644 CPUtime=30.67
/proc/1322/stat : 1322 (java) S 1320 1322 1067 0 -1 0 9888 0 1 0 1133 1934 0 0 18 0 9 0 75550049 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1322/statm: 216661 9053 2634 9 0 211167 0
[pid=1322/tid=1324] ppid=1320 vsize=866644 CPUtime=30.49
/proc/1322/task/1324/stat : 1324 (java) R 1320 1322 1067 0 -1 64 7748 0 1 0 1117 1932 0 0 25 0 9 0 75550051 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1325] ppid=1320 vsize=866644 CPUtime=0.03
/proc/1322/task/1325/stat : 1325 (java) S 1320 1322 1067 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75550052 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1326] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1326/stat : 1326 (java) S 1320 1322 1067 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75550052 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1327] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1327/stat : 1327 (java) S 1320 1322 1067 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75550052 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1328] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1328/stat : 1328 (java) S 1320 1322 1067 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1329] ppid=1320 vsize=866644 CPUtime=0.12
/proc/1322/task/1329/stat : 1329 (java) S 1320 1322 1067 0 -1 64 344 0 0 0 12 0 0 0 16 0 9 0 75550055 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1330] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1330/stat : 1330 (java) S 1320 1322 1067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 75550055 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1322/tid=1331] ppid=1320 vsize=866644 CPUtime=0
/proc/1322/task/1331/stat : 1331 (java) S 1320 1322 1067 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75550055 887443456 9053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.67
Current children cumulated vsize (KiB) 866644
Child status: 0
Real time (s): 31.0578
CPU time (s): 30.6873
CPU user time (s): 11.3383
CPU system time (s): 19.3491
CPU usage (%): 98.8071
Max. virtual memory (cumulated for all children) (KiB): 866648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3383
system time used= 19.3491
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10066
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= 1315
involuntary context switches= 3064
runsolver used 0.051992 second user time and 0.116982 second system time
The end
Begin job on node45 at 2008-07-16 08:08:27
IDJOB=1127241
IDBENCH=66145
IDSOLVER=359
FILE ID=node45/1127241-1216188507
PBS_JOBID= 7905917
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/maxcsp/pedigree/normalized-simple_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127241-1216188507/watcher-1127241-1216188507 -o /tmp/evaluation-result-1127241-1216188507/solver-1127241-1216188507 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1127241-1216188507.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f7ed9839fb67bff9d3b416a2820019e4
RANDOM SEED=1150201704
node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.281
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.281
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: 1836096 kB
Buffers: 10132 kB
Cached: 56440 kB
SwapCached: 0 kB
Active: 144700 kB
Inactive: 23564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1836096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 122016 kB
Slab: 36624 kB
Committed_AS: 1180796 kB
PageTables: 2008 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= 66556 MiB
End job on node45 at 2008-07-16 08:08:59