Trace number 2093414

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 NameAnswerCPU timeWall clock time
Abscon 112v4 ESACSAT 19.4001 19.4365

DiagnosticValue
CHECKS51620
NODES0

General information on the benchmark

Namecsp/marc/
normalized-large-92-sat_ext.xml
MD5SUMb8c8d5edeb1c5ac13491e6fb9a38beea
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.5396
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints4186
Maximum constraint arity2
Maximum domain size92
Number of constraints which are defined in extension4186
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.03/0.08	
0.03/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2093414-1247401309.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.32	   
0.29/0.32	   variables being loaded...
0.29/0.36	     nbVariables=92  nbDomainTypes=1  minDomainSize=92  maxDomainSize=92  nbTotalValues=8464
0.29/0.36	       =>  wckTime=0.116  cpuTime=0.11  mem=7M892
0.29/0.36	   
0.29/0.36	   relations being loaded...
2.69/2.74	   
2.69/2.74	   INFO : Contraction of relations, mem = 100M543
15.88/15.93	   
15.88/15.93	   constraints being loaded...
18.67/18.76	     nbConstraints=4186  nbRelationTypes=4185  nbExtensionStructures=4185  nbSharedExtensionStructures=1
18.67/18.76	     nbConflictsStructures=4185  nbSharedConflictsStructures=1  nbSharedBinaryRepresentations=769673  minDegree=91
18.67/18.76	     maxDegree=91  minArity=2  maxArity=2  nbGenerators=0  nbFusions=0  symmetryWckTime=0.216  symmetryCpuTime=0.12
18.67/18.76	       =>  wckTime=18.515  cpuTime=17.07  mem=148M508
19.06/19.16	   
19.06/19.16	   solver IterativeSystematicSolver being built... 
19.28/19.31	       =>  wckTime=19.064  cpuTime=17.18  mem=137M35
19.28/19.38	   
19.28/19.38	   preprocessing
19.28/19.38	     nbConstraintChecks=51620  nbPropagations=185  nbRevisions=13082  nbUselessRevisions=12601  nbSingletonTests=92
19.28/19.38	     nbEffectiveSingletonTests=0  nbACRemovals=8372  nbFoundSingletons=0  firstSolutionCpuTime=17.22
19.28/19.38	     nbRemovedValues=8372  detectedInconsistency=no
19.28/19.38	       =>  wckTime=0.068  cpuTime=0.05  mem=138M72
19.28/19.38	   
19.28/19.38	   global
19.28/19.38	     nbConstraintChecks=51620  nbPropagations=185  nbRevisions=13082  nbUselessRevisions=12601  nbRestartNogoods=0
19.28/19.38	     solvingWckTime=0.071  solvingCpuTime=0.05  expiredTime=no  totalExploration=no  nbFoundSolutions=1
19.28/19.38	     firstSolutionCpuTime=17.22  globalCpuTime=17.27
19.28/19.38	       =>  wckTime=19.138  cpuTime=17.23  mem=138M72
19.28/19.38	   
19.28/19.38	s SATISFIABLE
19.28/19.38	v 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 
19.28/19.38	d NODES 0
19.28/19.38	d CHECKS 51620
19.28/19.39	   
19.28/19.39	   totalWckTime=19.208  totalCpuTime=17.27

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093414-1247401309/watcher-2093414-1247401309 -o /tmp/evaluation-result-2093414-1247401309/solver-2093414-1247401309 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093414-1247401309.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.22 0.99 0.41 4/80 28850
/proc/meminfo: memFree=1655384/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=152 CPUtime=0
/proc/28850/stat : 28850 (java) R 28848 28850 28551 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27195794 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 4727083 0 0 4096 0 0 0 0 17 0 0 0
/proc/28850/statm: 38 26 19 9 0 4 0

[startup+0.048417 s]
/proc/loadavg: 2.22 0.99 0.41 4/80 28850
/proc/meminfo: memFree=1655384/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=863836 CPUtime=0.03
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 2533 0 1 0 2 1 0 0 18 0 9 0 27195794 884568064 2085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 215959 2097 970 9 0 210852 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863836

[startup+0.101381 s]
/proc/loadavg: 2.22 0.99 0.41 4/80 28850
/proc/meminfo: memFree=1655384/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=865980 CPUtime=0.09
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 3793 0 1 0 7 2 0 0 18 0 9 0 27195794 886763520 3246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216495 3249 1716 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980

[startup+0.301419 s]
/proc/loadavg: 2.22 0.99 0.41 4/80 28850
/proc/meminfo: memFree=1655384/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=866380 CPUtime=0.29
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 6074 0 1 0 25 4 0 0 18 0 9 0 27195794 887173120 5440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216595 5441 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380

[startup+0.70149 s]
/proc/loadavg: 2.22 0.99 0.41 4/80 28850
/proc/meminfo: memFree=1655384/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=866492 CPUtime=0.69
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 14574 0 1 0 61 8 0 0 18 0 9 0 27195794 887287808 13937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216623 13938 1998 9 0 211081 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866492

[startup+1.50163 s]
/proc/loadavg: 2.22 0.99 0.41 3/89 28859
/proc/meminfo: memFree=1585168/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=867084 CPUtime=1.49
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 25572 0 1 0 137 12 0 0 18 0 9 0 27195794 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216771 24930 2011 9 0 211229 0
[pid=28850/tid=28852] ppid=28848 vsize=867084 CPUtime=1.21
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 15705 0 1 0 113 8 0 0 25 0 9 0 27195795 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4126405570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28853] ppid=28848 vsize=867084 CPUtime=0.17
/proc/28850/task/28853/stat : 28853 (java) S 28848 28850 28551 0 -1 64 8700 0 0 0 14 3 0 0 17 0 9 0 27195796 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28854] ppid=28848 vsize=867084 CPUtime=0
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27195796 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=867084 CPUtime=0
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27195796 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=867084 CPUtime=0
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27195798 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=867084 CPUtime=0.09
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 465 0 0 0 9 0 0 0 16 0 9 0 27195798 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28858] ppid=28848 vsize=867084 CPUtime=0
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27195798 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=867084 CPUtime=0
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27195798 887894016 24930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867084

[startup+3.10293 s]
/proc/loadavg: 2.22 0.99 0.41 3/89 28859
/proc/meminfo: memFree=1547920/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=867272 CPUtime=3.08
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 34263 0 1 0 291 17 0 0 18 0 9 0 27195794 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216818 33429 2632 9 0 211276 0
[pid=28850/tid=28852] ppid=28848 vsize=867272 CPUtime=2.47
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 15716 0 1 0 237 10 0 0 25 0 9 0 27195795 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28853] ppid=28848 vsize=867272 CPUtime=0.47
/proc/28850/task/28853/stat : 28853 (java) R 28848 28850 28551 0 -1 64 17353 0 0 0 41 6 0 0 16 0 9 0 27195796 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 104191090 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28854] ppid=28848 vsize=867272 CPUtime=0
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27195796 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=867272 CPUtime=0
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27195796 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=867272 CPUtime=0
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27195798 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=867272 CPUtime=0.12
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 492 0 0 0 12 0 0 0 16 0 9 0 27195798 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28858] ppid=28848 vsize=867272 CPUtime=0
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27195798 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=867272 CPUtime=0
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27195798 888086528 33429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867272

[startup+6.30151 s]
/proc/loadavg: 2.29 1.02 0.43 3/89 28859
/proc/meminfo: memFree=1531856/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=867496 CPUtime=6.28
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 34429 0 1 0 609 19 0 0 18 0 9 0 27195794 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216874 33588 2634 9 0 211332 0
[pid=28850/tid=28852] ppid=28848 vsize=867496 CPUtime=5.52
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 15723 0 1 0 540 12 0 0 25 0 9 0 27195795 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4126615000 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28853] ppid=28848 vsize=867496 CPUtime=0.58
/proc/28850/task/28853/stat : 28853 (java) S 28848 28850 28551 0 -1 64 17404 0 0 0 52 6 0 0 16 0 9 0 27195796 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28854] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27195798 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=867496 CPUtime=0.15
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 600 0 0 0 15 0 0 0 16 0 9 0 27195798 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28858] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27195798 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27195798 888315904 33588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867496

[startup+12.7027 s]
/proc/loadavg: 2.26 1.04 0.44 3/89 28859
/proc/meminfo: memFree=1504848/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=867496 CPUtime=12.68
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 42111 0 1 0 1240 28 0 0 18 0 9 0 27195794 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216874 41256 2635 9 0 211332 0
[pid=28850/tid=28852] ppid=28848 vsize=867496 CPUtime=11.59
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 15737 0 1 0 1142 17 0 0 25 0 9 0 27195795 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 104513884 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28853] ppid=28848 vsize=867496 CPUtime=0.91
/proc/28850/task/28853/stat : 28853 (java) S 28848 28850 28551 0 -1 64 25069 0 0 0 82 9 0 0 16 0 9 0 27195796 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28854] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27195798 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=867496 CPUtime=0.15
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 603 0 0 0 15 0 0 0 17 0 9 0 27195798 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28858] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27195798 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27195798 888315904 41256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867496

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

[startup+15.9012 s]
/proc/loadavg: 2.24 1.06 0.44 3/89 28859
/proc/meminfo: memFree=1489488/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=867496 CPUtime=15.88
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 45953 0 1 0 1556 32 0 0 18 0 9 0 27195794 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216874 45091 2635 9 0 211332 0
[pid=28850/tid=28852] ppid=28848 vsize=867496 CPUtime=14.63
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 15744 0 1 0 1443 20 0 0 25 0 9 0 27195795 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4126592802 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28853] ppid=28848 vsize=867496 CPUtime=1.07
/proc/28850/task/28853/stat : 28853 (java) S 28848 28850 28551 0 -1 64 28904 0 0 0 96 11 0 0 16 0 9 0 27195796 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28854] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27195798 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=867496 CPUtime=0.15
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 603 0 0 0 15 0 0 0 17 0 9 0 27195798 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28858] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27195798 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27195798 888315904 45091 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 867496

[startup+17.5015 s]
/proc/loadavg: 2.24 1.06 0.44 3/89 28859
/proc/meminfo: memFree=1484816/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=867496 CPUtime=17.48
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 46031 0 1 0 1716 32 0 0 18 0 9 0 27195794 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216874 45161 2636 9 0 211332 0
[pid=28850/tid=28852] ppid=28848 vsize=867496 CPUtime=16.17
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 15780 0 1 0 1597 20 0 0 25 0 9 0 27195795 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4126900035 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28853] ppid=28848 vsize=867496 CPUtime=1.07
/proc/28850/task/28853/stat : 28853 (java) S 28848 28850 28551 0 -1 64 28904 0 0 0 96 11 0 0 17 0 9 0 27195796 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28854] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27195798 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=867496 CPUtime=0.21
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 645 0 0 0 21 0 0 0 15 0 9 0 27195798 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28858] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27195798 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27195798 888315904 45161 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.48
Current children cumulated vsize (KiB) 867496

[startup+18.3027 s]
/proc/loadavg: 2.24 1.06 0.44 3/89 28859
/proc/meminfo: memFree=1484816/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=867496 CPUtime=18.28
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 47668 0 1 0 1795 33 0 0 18 0 9 0 27195794 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 216874 46797 2636 9 0 211332 0
[pid=28850/tid=28852] ppid=28848 vsize=867496 CPUtime=16.9
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 15781 0 1 0 1670 20 0 0 25 0 9 0 27195795 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 103822998 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28853] ppid=28848 vsize=867496 CPUtime=1.14
/proc/28850/task/28853/stat : 28853 (java) S 28848 28850 28551 0 -1 64 30540 0 0 0 103 11 0 0 16 0 9 0 27195796 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28854] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27195796 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27195798 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=867496 CPUtime=0.21
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 645 0 0 0 21 0 0 0 15 0 9 0 27195798 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28858] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27195798 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=867496 CPUtime=0
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27195798 888315904 46797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.28
Current children cumulated vsize (KiB) 867496

[startup+19.1028 s]
/proc/loadavg: 2.22 1.07 0.45 3/89 28859
/proc/meminfo: memFree=1477968/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=868144 CPUtime=19.06
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 61431 341 1 0 1865 36 4 1 18 0 10 0 27195794 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 217036 46867 2635 9 0 211494 0
[pid=28850/tid=28852] ppid=28848 vsize=868144 CPUtime=17.3
/proc/28850/task/28852/stat : 28852 (java) S 28848 28850 28551 0 -1 64 18465 341 1 0 1704 21 4 1 16 0 10 0 27195795 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28853] ppid=28848 vsize=868144 CPUtime=1.53
/proc/28850/task/28853/stat : 28853 (java) R 28848 28850 28551 0 -1 64 41347 341 0 0 136 12 4 1 18 0 10 0 27195796 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 103831009 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28854] ppid=28848 vsize=868144 CPUtime=0.05
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 16 341 0 0 0 0 4 1 16 0 10 0 27195796 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28855] ppid=28848 vsize=868144 CPUtime=0.05
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 5 341 0 0 0 0 4 1 16 0 10 0 27195796 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28856] ppid=28848 vsize=868144 CPUtime=0.05
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 341 0 0 0 0 4 1 24 0 10 0 27195798 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=868144 CPUtime=0.29
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 776 341 0 0 24 0 4 1 16 0 10 0 27195798 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28858] ppid=28848 vsize=868144 CPUtime=0.05
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 341 0 0 0 0 4 1 25 0 10 0 27195798 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=868144 CPUtime=0.05
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 14 341 0 0 0 0 4 1 15 0 10 0 27195798 888979456 46867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 868144

[startup+19.3029 s]
/proc/loadavg: 2.22 1.07 0.45 3/89 28859
/proc/meminfo: memFree=1477968/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=868232 CPUtime=19.28
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 64311 465 1 0 1884 38 4 2 18 0 9 0 27195794 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 217058 49382 2660 9 0 211494 0
[pid=28850/tid=28852] ppid=28848 vsize=868232 CPUtime=17.42
/proc/28850/task/28852/stat : 28852 (java) R 28848 28850 28551 0 -1 64 18787 465 1 0 1715 21 4 2 17 0 9 0 27195795 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4125978487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28853] ppid=28848 vsize=868232 CPUtime=1.6
/proc/28850/task/28853/stat : 28853 (java) R 28848 28850 28551 0 -1 64 43831 465 0 0 141 13 4 2 19 0 9 0 27195796 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28854] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 22 465 0 0 0 0 4 2 16 0 9 0 27195796 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28855] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 7 465 0 0 0 0 4 2 16 0 9 0 27195796 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28856] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 465 0 0 0 0 4 2 24 0 9 0 27195798 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=868232 CPUtime=0.32
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 838 465 0 0 26 0 4 2 15 0 9 0 27195798 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28858] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 465 0 0 0 0 4 2 25 0 9 0 27195798 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 14 465 0 0 0 0 4 2 15 0 9 0 27195798 889069568 49382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.28
Current children cumulated vsize (KiB) 868232

[startup+19.4029 s]
/proc/loadavg: 2.22 1.07 0.45 3/89 28859
/proc/meminfo: memFree=1477968/2055920 swapFree=4192812/4192956
[pid=28850] ppid=28848 vsize=868232 CPUtime=19.36
/proc/28850/stat : 28850 (java) S 28848 28850 28551 0 -1 0 64364 465 1 0 1892 38 4 2 18 0 9 0 27195794 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28850/statm: 217058 49403 2660 9 0 211494 0
[pid=28850/tid=28852] ppid=28848 vsize=868232 CPUtime=17.47
/proc/28850/task/28852/stat : 28852 (java) S 28848 28850 28551 0 -1 64 18823 465 1 0 1720 21 4 2 17 0 9 0 27195795 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28853] ppid=28848 vsize=868232 CPUtime=1.6
/proc/28850/task/28853/stat : 28853 (java) S 28848 28850 28551 0 -1 64 43832 465 0 0 141 13 4 2 19 0 9 0 27195796 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28854] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28854/stat : 28854 (java) S 28848 28850 28551 0 -1 64 22 465 0 0 0 0 4 2 16 0 9 0 27195796 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28855] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28855/stat : 28855 (java) S 28848 28850 28551 0 -1 64 12 465 0 0 0 0 4 2 16 0 9 0 27195796 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28856] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28856/stat : 28856 (java) S 28848 28850 28551 0 -1 64 1 465 0 0 0 0 4 2 24 0 9 0 27195798 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28857] ppid=28848 vsize=868232 CPUtime=0.35
/proc/28850/task/28857/stat : 28857 (java) S 28848 28850 28551 0 -1 64 849 465 0 0 29 0 4 2 15 0 9 0 27195798 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28850/tid=28858] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28858/stat : 28858 (java) S 28848 28850 28551 0 -1 64 1 465 0 0 0 0 4 2 25 0 9 0 27195798 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28850/tid=28859] ppid=28848 vsize=868232 CPUtime=0.06
/proc/28850/task/28859/stat : 28859 (java) S 28848 28850 28551 0 -1 64 14 465 0 0 0 0 4 2 15 0 9 0 27195798 889069568 49403 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.36
Current children cumulated vsize (KiB) 868232

Child status: 0
Real time (s): 19.4365
CPU time (s): 19.4001
CPU user time (s): 18.9671
CPU system time (s): 0.432934
CPU usage (%): 99.8127
Max. virtual memory (cumulated for all children) (KiB): 868232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9671
system time used= 0.432934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64860
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= 2027
involuntary context switches= 2368

runsolver used 0.031995 second user time and 0.06399 second system time

The end

Launcher Data 

Begin job on node45 at 2009-07-12 14:22:00
IDJOB=2093414
IDBENCH=53560
IDSOLVER=774
FILE ID=node45/2093414-1247401309
PBS_JOBID= 9510554
Free space on /tmp= 66364 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/marc/normalized-large-92-sat_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093414-1247401309/watcher-2093414-1247401309 -o /tmp/evaluation-result-2093414-1247401309/solver-2093414-1247401309 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093414-1247401309.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b8c8d5edeb1c5ac13491e6fb9a38beea
RANDOM SEED=1488565941

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:       1655864 kB
Buffers:         34448 kB
Cached:         217152 kB
SwapCached:          0 kB
Active:         277584 kB
Inactive:        64808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          102960 kB
Writeback:           0 kB
Mapped:         111224 kB
Slab:            42724 kB
Committed_AS:  1002452 kB
PageTables:       1924 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= 66360 MiB
End job on node45 at 2009-07-12 14:22:20