Trace number 1111134

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-dOPTIMUM1 36.3635 36.3976

DiagnosticValue
CHECKS4157170
NODES136597

General information on the benchmark

Namecsp/aim-50/
normalized-aim-50-1-6-unsat-4_ext.xml
MD5SUMa47d58d01a8d46b68cf53b1a42c70131
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark0.043993
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints76
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.04/0.08	
0.04/0.08	Abscon 112 (May, 2008)
0.20/0.24	
0.20/0.24	   configuration
0.20/0.24	     name=mrdac-ddeg.xml
0.20/0.28	   
0.20/0.28	   instance
0.20/0.28	     name=HOME/instance-1111134-1215841913.xml
0.30/0.31	   
0.30/0.31	   domains being loaded...
0.30/0.32	   
0.30/0.32	   variables being loaded...
0.30/0.35	     nbVariables=50  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2  nbTotalValues=100
0.30/0.35	       =>  wckTime=0.103  cpuTime=0.08  mem=6M867
0.30/0.35	   
0.30/0.35	   relations being loaded...
0.30/0.35	   
0.30/0.35	   constraints being loaded...
0.40/0.42	     nbConstraints=76  nbRelationTypes=12  nbExtensionStructures=12  nbSharedExtensionStructures=64
0.40/0.42	     nbConflictsStructures=12  nbSharedConflictsStructures=64  nbSharedBinaryRepresentations=0  minDegree=2  maxDegree=7
0.40/0.42	     minArity=3  maxArity=3
0.40/0.43	       =>  wckTime=0.182  cpuTime=0.14  mem=9M831
0.40/0.47	   
0.40/0.47	   solver LocalSearchSolver being built... 
0.50/0.51	       =>  wckTime=0.269  cpuTime=0.18  mem=5M463
0.50/0.51	
0.50/0.52	s SATISFIABLE
0.50/0.52	o 8
0.50/0.52	o 7
0.50/0.52	o 6
0.50/0.52	o 5
0.50/0.52	o 4
0.50/0.52	o 3
0.50/0.52	o 2
0.50/0.52	o 1
1.20/1.22	   
1.20/1.22	   search
1.20/1.22	     run=0  nbConstraintChecks=1128324  nbAssignments=10000
1.20/1.22	       =>  wckTime=0.711  cpuTime=0.7  mem=6M455
1.89/1.91	   
1.89/1.91	   search
1.89/1.91	     run=1  nbConstraintChecks=2315244  nbAssignments=20000
1.89/1.91	       =>  wckTime=1.401  cpuTime=1.38  mem=6M455
2.49/2.57	   
2.49/2.57	   search
2.49/2.57	     run=2  nbConstraintChecks=3400689  nbAssignments=30000
2.49/2.57	       =>  wckTime=2.058  cpuTime=2.04  mem=6M455
3.20/3.24	   
3.20/3.24	   search
3.20/3.24	     run=3  nbConstraintChecks=4567246  nbAssignments=40000
3.20/3.24	       =>  wckTime=2.726  cpuTime=2.71  mem=6M455
3.80/3.89	   
3.80/3.89	   search
3.80/3.89	     run=4  nbConstraintChecks=5637232  nbAssignments=50000
3.80/3.89	       =>  wckTime=3.38  cpuTime=3.36  mem=6M455
4.49/4.57	   
4.49/4.57	   search
4.49/4.57	     run=5  nbConstraintChecks=6842543  nbAssignments=60000
4.49/4.57	       =>  wckTime=4.054  cpuTime=4.03  mem=6M455
5.19/5.22	   
5.19/5.22	   search
5.19/5.22	     run=6  nbConstraintChecks=7908103  nbAssignments=70000
5.19/5.22	       =>  wckTime=4.706  cpuTime=4.69  mem=6M455
5.80/5.89	   
5.80/5.89	   search
5.80/5.89	     run=7  nbConstraintChecks=9101170  nbAssignments=80000
5.80/5.89	       =>  wckTime=5.377  cpuTime=5.35  mem=6M455
6.49/6.54	   
6.49/6.54	   search
6.49/6.54	     run=8  nbConstraintChecks=10165280  nbAssignments=90000
6.49/6.54	       =>  wckTime=6.031  cpuTime=6.01  mem=6M455
7.19/7.21	   
7.19/7.21	   search
7.19/7.21	     run=9  nbConstraintChecks=11362080  nbAssignments=100000
7.19/7.21	       =>  wckTime=6.704  cpuTime=6.68  mem=6M455
7.79/7.88	   
7.79/7.88	   search
7.79/7.88	     run=10  nbConstraintChecks=12487686  nbAssignments=110000
7.79/7.88	       =>  wckTime=7.365  cpuTime=7.34  mem=6M455
8.50/8.56	   
8.50/8.56	   search
8.50/8.56	     run=11  nbConstraintChecks=13746026  nbAssignments=120000
8.50/8.56	       =>  wckTime=8.048  cpuTime=8.03  mem=6M455
9.19/9.21	   
9.19/9.21	   search
9.19/9.21	     run=12  nbConstraintChecks=14819959  nbAssignments=130000
9.19/9.22	       =>  wckTime=8.704  cpuTime=8.68  mem=6M455
9.80/9.88	   
9.80/9.88	   search
9.80/9.88	     run=13  nbConstraintChecks=16038078  nbAssignments=140000
9.80/9.88	       =>  wckTime=9.374  cpuTime=9.35  mem=6M455
10.50/10.53	   
10.50/10.53	   search
10.50/10.53	     run=14  nbConstraintChecks=17084432  nbAssignments=150000
10.50/10.53	       =>  wckTime=10.019  cpuTime=10.0  mem=6M455
11.10/11.20	   
11.10/11.20	   search
11.10/11.20	     run=15  nbConstraintChecks=18272427  nbAssignments=160000
11.10/11.20	       =>  wckTime=10.686  cpuTime=10.66  mem=6M455
11.79/11.85	   
11.79/11.85	   search
11.79/11.85	     run=16  nbConstraintChecks=19349642  nbAssignments=170000
11.79/11.85	       =>  wckTime=11.336  cpuTime=11.31  mem=6M455
12.49/12.52	   
12.49/12.52	   search
12.49/12.52	     run=17  nbConstraintChecks=20586759  nbAssignments=180000
12.49/12.52	       =>  wckTime=12.011  cpuTime=11.99  mem=6M455
13.09/13.17	   
13.09/13.17	   search
13.09/13.17	     run=18  nbConstraintChecks=21683512  nbAssignments=190000
13.09/13.17	       =>  wckTime=12.664  cpuTime=12.63  mem=6M455
13.80/13.85	   
13.80/13.85	   search
13.80/13.85	     run=19  nbConstraintChecks=22922627  nbAssignments=200000
13.80/13.85	       =>  wckTime=13.339  cpuTime=13.31  mem=6M455
14.49/14.50	   
14.49/14.50	   search
14.49/14.50	     run=20  nbConstraintChecks=23985874  nbAssignments=210000
14.49/14.50	       =>  wckTime=13.988  cpuTime=13.96  mem=6M455
15.09/15.17	   
15.09/15.17	   search
15.09/15.17	     run=21  nbConstraintChecks=25219426  nbAssignments=220000
15.09/15.17	       =>  wckTime=14.662  cpuTime=14.64  mem=6M455
15.79/15.82	   
15.79/15.82	   search
15.79/15.82	     run=22  nbConstraintChecks=26297806  nbAssignments=230000
15.79/15.82	       =>  wckTime=15.313  cpuTime=15.28  mem=6M455
16.39/16.49	   
16.39/16.49	   search
16.39/16.49	     run=23  nbConstraintChecks=27457597  nbAssignments=240000
16.39/16.49	       =>  wckTime=15.975  cpuTime=15.95  mem=6M455
17.09/17.15	   
17.09/17.15	   search
17.09/17.15	     run=24  nbConstraintChecks=28617169  nbAssignments=250000
17.09/17.15	       =>  wckTime=16.638  cpuTime=16.61  mem=6M455
17.79/17.82	   
17.79/17.82	   search
17.79/17.82	     run=25  nbConstraintChecks=29837173  nbAssignments=260000
17.79/17.82	       =>  wckTime=17.309  cpuTime=17.28  mem=6M455
18.39/18.47	   
18.39/18.47	   search
18.39/18.47	     run=26  nbConstraintChecks=30943663  nbAssignments=270000
18.39/18.47	       =>  wckTime=17.963  cpuTime=17.93  mem=6M455
19.09/19.14	   
19.09/19.14	   search
19.09/19.14	     run=27  nbConstraintChecks=32092716  nbAssignments=280000
19.09/19.14	       =>  wckTime=18.625  cpuTime=18.6  mem=6M455
19.69/19.80	   
19.69/19.80	   search
19.69/19.80	     run=28  nbConstraintChecks=33200005  nbAssignments=290000
19.69/19.80	       =>  wckTime=19.286  cpuTime=19.25  mem=6M455
20.39/20.47	   
20.39/20.47	   search
20.39/20.47	     run=29  nbConstraintChecks=34384084  nbAssignments=300000
20.39/20.47	       =>  wckTime=19.959  cpuTime=19.93  mem=6M455
21.09/21.13	   
21.09/21.13	   search
21.09/21.13	     run=30  nbConstraintChecks=35453131  nbAssignments=310000
21.09/21.13	       =>  wckTime=20.62  cpuTime=20.58  mem=6M455
21.79/21.81	   
21.79/21.81	   search
21.79/21.81	     run=31  nbConstraintChecks=36667364  nbAssignments=320000
21.79/21.81	       =>  wckTime=21.297  cpuTime=21.26  mem=6M455
22.39/22.47	   
22.39/22.47	   search
22.39/22.47	     run=32  nbConstraintChecks=37744819  nbAssignments=330000
22.39/22.47	       =>  wckTime=21.955  cpuTime=21.92  mem=6M455
23.10/23.14	   
23.10/23.14	   search
23.10/23.14	     run=33  nbConstraintChecks=38954667  nbAssignments=340000
23.10/23.14	       =>  wckTime=22.631  cpuTime=22.59  mem=6M455
23.69/23.80	   
23.69/23.80	   search
23.69/23.80	     run=34  nbConstraintChecks=40032870  nbAssignments=350000
23.79/23.80	       =>  wckTime=23.287  cpuTime=23.25  mem=6M455
24.40/24.47	   
24.40/24.47	   search
24.40/24.47	     run=35  nbConstraintChecks=41197362  nbAssignments=360000
24.40/24.47	       =>  wckTime=23.958  cpuTime=23.92  mem=6M455
25.09/25.13	   
25.09/25.13	   search
25.09/25.13	     run=36  nbConstraintChecks=42324968  nbAssignments=370000
25.09/25.13	       =>  wckTime=24.623  cpuTime=24.58  mem=6M455
25.79/25.82	   
25.79/25.82	   search
25.79/25.82	     run=37  nbConstraintChecks=43557095  nbAssignments=380000
25.79/25.82	       =>  wckTime=25.305  cpuTime=25.26  mem=6M455
26.40/26.47	   
26.40/26.47	   search
26.40/26.47	     run=38  nbConstraintChecks=44629965  nbAssignments=390000
26.40/26.47	       =>  wckTime=25.962  cpuTime=25.93  mem=6M455
27.09/27.15	   
27.09/27.15	   search
27.09/27.15	     run=39  nbConstraintChecks=45822801  nbAssignments=400000
27.09/27.15	       =>  wckTime=26.637  cpuTime=26.6  mem=6M455
27.79/27.81	   
27.79/27.81	   search
27.79/27.81	     run=40  nbConstraintChecks=46918775  nbAssignments=410000
27.79/27.81	       =>  wckTime=27.298  cpuTime=27.26  mem=6M455
28.38/28.48	   
28.38/28.48	   search
28.38/28.48	     run=41  nbConstraintChecks=48085921  nbAssignments=420000
28.38/28.48	       =>  wckTime=27.968  cpuTime=27.93  mem=6M455
29.08/29.14	   
29.08/29.14	   search
29.08/29.14	     run=42  nbConstraintChecks=49170724  nbAssignments=430000
29.08/29.14	       =>  wckTime=28.627  cpuTime=28.59  mem=6M455
29.79/29.81	   
29.79/29.81	   search
29.79/29.81	     run=43  nbConstraintChecks=50356384  nbAssignments=440000
29.79/29.81	       =>  wckTime=29.295  cpuTime=29.26  mem=6M455
30.38/30.46	   
30.38/30.46	   search
30.38/30.46	     run=44  nbConstraintChecks=51437567  nbAssignments=450000
30.38/30.46	       =>  wckTime=29.949  cpuTime=29.9  mem=6M455
30.48/30.57	   
30.48/30.57	   search
30.48/30.57	     run=45  nbConstraintChecks=51631026  nbAssignments=451687
30.48/30.57	       =>  wckTime=30.061  cpuTime=30.02  mem=6M455
30.48/30.57	   
30.48/30.57	   global
30.48/30.57	     nbConstraintChecks=51631026  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.48/30.57	     solvingWckTime=30.06  solvingCpuTime=30.02  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.48/30.57	     globalCpuTime=30.24
30.48/30.57	       =>  wckTime=30.33  cpuTime=30.2  mem=6M455
30.48/30.57	   
30.48/30.57	   solver DecomposerSolver being built... 
30.58/30.69	       =>  wckTime=30.445  cpuTime=30.29  mem=18M370
30.58/30.69	   
30.58/30.69	   preprocessing
30.58/30.69	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.58/30.69	     detectedInconsistency=no
30.58/30.69	       =>  wckTime=0.0020  cpuTime=0.0  mem=18M370
36.29/36.36	   
36.29/36.36	   search
36.29/36.36	     run=0  nbConstraintChecks=4157166  nbValidityChecks=3994911  minDepth=0  maxDepth=44  nbPropagations=0
36.29/36.36	     nbRevisions=0  nbUselessRevisions=0  nbAssignments=136597  nbFailedAssignments=40335  nbBacktracks=96263
36.29/36.36	     nbVisitedNodes=190465
36.29/36.36	       =>  wckTime=5.668  cpuTime=5.61  mem=19M345
36.29/36.36	   
36.29/36.36	   global
36.29/36.36	     nbConstraintChecks=4157166  nbValidityChecks=3994911  solvingWckTime=5.67  solvingCpuTime=5.62  expiredTime=no
36.29/36.36	     totalExploration=yes  nbFoundSolutions=0  upperBound=1  upperBoundWckTime=0.0  upperBoundCpuTime=0.0
36.29/36.36	     globalCpuTime=35.95
36.29/36.36	       =>  wckTime=36.116  cpuTime=35.91  mem=19M345
36.29/36.36	
36.29/36.36	s OPTIMUM FOUND
36.29/36.36	v 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 
36.29/36.36	d NODES 136597
36.29/36.36	d CHECKS 4157166
36.29/36.36	   
36.29/36.36	   totalWckTime=36.183  totalCpuTime=35.96

Verifier Data (download as text)

OK	1	75
1 unsatisfied constraints, 75 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111134-1215841913/watcher-1111134-1215841913 -o /tmp/evaluation-result-1111134-1215841913/solver-1111134-1215841913 -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-ddeg.xml 1 XSax HOME/instance-1111134-1215841913.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.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=18572 CPUtime=0
/proc/17526/stat : 17526 (runsolver) R 17524 17526 17121 0 -1 4194368 16 0 0 0 0 0 0 0 23 0 1 0 40889223 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17526/statm: 4643 292 257 25 0 2626 0

[startup+0.0589449 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=864076 CPUtime=0.04
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 2719 0 1 0 3 1 0 0 18 0 9 0 40889223 884813824 2276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216019 2276 1087 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076

[startup+0.153255 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=865984 CPUtime=0.14
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 4204 0 1 0 11 3 0 0 18 0 9 0 40889223 886767616 3640 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216496 3640 1813 9 0 211051 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865984

[startup+0.302918 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866412 CPUtime=0.3
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 5904 0 1 0 26 4 0 0 18 0 9 0 40889223 887205888 5279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216603 5279 1957 9 0 211131 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 866412

[startup+0.701952 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=0.7
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8235 0 1 0 56 14 0 0 18 0 9 0 40889223 887398400 7402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216651 7402 2632 9 0 211157 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 866600

[startup+1.50202 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1635136/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=1.5
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8240 0 1 0 95 55 0 0 18 0 9 0 40889223 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7406 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=1.35
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6090 0 1 0 81 54 0 0 20 0 9 0 40889224 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 17 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 337 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 866600

[startup+3.10114 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1634944/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=3.1
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8240 0 1 0 169 141 0 0 18 0 9 0 40889223 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7406 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=2.94
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6090 0 1 0 155 139 0 0 25 0 9 0 40889224 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 337 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 866604

[startup+6.3024 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1634688/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=6.29
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8241 0 1 0 311 318 0 0 18 0 9 0 40889223 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7406 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=6.14
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6091 0 1 0 297 317 0 0 25 0 9 0 40889224 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 337 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 866604

[startup+12.7019 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1634496/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=12.69
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8242 0 1 0 602 667 0 0 18 0 9 0 40889223 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7407 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=12.54
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6091 0 1 0 589 665 0 0 25 0 9 0 40889224 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 866604

[startup+25.5029 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1634496/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=25.49
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8248 0 1 0 1198 1351 0 0 18 0 9 0 40889223 887402496 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7413 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=25.33
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6091 0 1 0 1183 1350 0 0 25 0 9 0 40889224 887402496 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.11
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 344 0 0 0 11 0 0 0 16 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 866604

Solver just ended. Dumping a history of the last processes samples

[startup+31.9065 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=31.89
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1558 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=31.66
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1537 1629 0 0 22 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126774855 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 866600

[startup+33.5026 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=33.49
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1718 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=33.26
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1697 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126829028 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.49
Current children cumulated vsize (KiB) 866600

[startup+35.1017 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=35.09
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1878 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=34.86
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1857 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126787670 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 16 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 866600

[startup+35.9018 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=35.89
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1958 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=35.65
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1936 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126829927 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 16 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.89
Current children cumulated vsize (KiB) 866600

[startup+36.3068 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=36.29
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1998 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=36.06
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1977 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126803500 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 16 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.29
Current children cumulated vsize (KiB) 866600

Child status: 0
Real time (s): 36.3976
CPU time (s): 36.3635
CPU user time (s): 20.043
CPU system time (s): 16.3205
CPU usage (%): 99.9062
Max. virtual memory (cumulated for all children) (KiB): 866604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.043
system time used= 16.3205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10611
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= 1834
involuntary context switches= 2342

runsolver used 0.043993 second user time and 0.136979 second system time

The end

Launcher Data (download as text)

Begin job on node69 at 2008-07-12 07:51:53
IDJOB=1111134
IDBENCH=61235
IDSOLVER=360
FILE ID=node69/1111134-1215841913
PBS_JOBID= 7903404
Free space on /tmp= 66476 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/aim-50/normalized-aim-50-1-6-unsat-4_ext.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111134-1215841913/watcher-1111134-1215841913 -o /tmp/evaluation-result-1111134-1215841913/solver-1111134-1215841913 -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-ddeg.xml 1 XSax HOME/instance-1111134-1215841913.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a47d58d01a8d46b68cf53b1a42c70131
RANDOM SEED=867152659

node69.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.233
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.233
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:       1654888 kB
Buffers:         61984 kB
Cached:         232024 kB
SwapCached:       7572 kB
Active:         166356 kB
Inactive:       168640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1654888 kB
SwapTotal:     4192956 kB
SwapFree:      4180240 kB
Dirty:            2092 kB
Writeback:           0 kB
Mapped:          55928 kB
Slab:            51080 kB
Committed_AS:   238832 kB
PageTables:       2004 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= 66476 MiB
End job on node69 at 2008-07-12 07:52:30