Trace number 2093040

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 ESACUNSAT 75.3735 75.1391

DiagnosticValue
CHECKS75128700
NODES444833

General information on the benchmark

Namecsp/QCP-15/
normalized-qcp-15-120-10_ext.xml
MD5SUM5e073093b560129bc493ef597f3d0605
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.50977
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints2519
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension2519
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.07/0.07	
0.07/0.07	Abscon 112 (May, 2008)
0.21/0.20	
0.21/0.20	   configuration
0.21/0.20	     name=esac.xml
0.21/0.23	   
0.21/0.23	   instance
0.21/0.23	     name=HOME/instance-2093040-1247401113.xml
0.21/0.26	   
0.21/0.26	   domains being loaded...
0.21/0.27	   
0.21/0.27	   variables being loaded...
0.33/0.31	     nbVariables=225  nbDomainTypes=16  minDomainSize=1  maxDomainSize=15  nbTotalValues=1905
0.33/0.31	       =>  wckTime=0.112  cpuTime=0.11  mem=8M867
0.33/0.31	   
0.33/0.31	   relations being loaded...
0.33/0.32	   
0.33/0.32	   constraints being loaded...
0.76/0.66	     nbConstraints=2535  nbRelationTypes=16  nbGlobalConstraints=16  nbSingletonDomainVariables=105
0.76/0.66	     nbExtensionStructures=31  nbSharedExtensionStructures=2488  nbConflictsStructures=31
0.76/0.66	     nbSharedConflictsStructures=2488  nbSharedBinaryRepresentations=493  minDegree=15  maxDegree=29  minArity=2
0.76/0.66	     avgArity=2.04  maxArity=9  nbGenerators=0  nbFusions=0  symmetryWckTime=0.135  symmetryCpuTime=0.09  nbCliques=16
0.76/0.66	       =>  wckTime=0.455  cpuTime=0.41  mem=25M516
0.88/0.73	   
0.88/0.73	   solver IterativeSystematicSolver being built... 
0.88/0.78	   
0.88/0.79	   INFO : Forward propagation technique limited 
1.01/0.85	       =>  wckTime=0.649  cpuTime=0.54  mem=22M324
1.13/0.92	   
1.13/0.92	   preprocessing
1.13/0.92	     nbConstraintChecks=39902  nbPropagations=1337  nbRevisions=9847  nbUselessRevisions=7629  nbSingletonTests=351
1.13/0.92	     nbEffectiveSingletonTests=0  nbACRemovals=1288  nbFoundSingletons=0  nbRemovedValues=1288  detectedInconsistency=no
1.13/0.93	       =>  wckTime=0.073  cpuTime=0.07  mem=23M259
1.26/1.09	   
1.26/1.09	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M210)
75.26/75.08	   
75.26/75.08	   search
75.26/75.08	     run=20  nbConstraintChecks=75088818  minDepth=0  maxDepth=54  nbPropagations=12041402  nbRevisions=145634111
75.26/75.08	     nbUselessRevisions=127299431  nbAssignments=444833  nbFailedAssignments=83303  nbBacktracks=360388
75.26/75.08	     nbVisitedNodes=607917  nbRestartNogoods=136  nbSEliminables=0  nbREliminables=105  nbIEliminables=109.68
75.26/75.08	     nbDEliminables=0  nbPEliminables=0
75.26/75.08	       =>  wckTime=74.227  cpuTime=74.16  mem=29M646
75.26/75.08	   
75.26/75.08	   global
75.26/75.08	     nbConstraintChecks=75128720  nbPropagations=12042739  nbRevisions=145643958  nbUselessRevisions=127307060
75.26/75.08	     nbRestartNogoods=136  solvingWckTime=74.229  solvingCpuTime=74.16  expiredTime=no  totalExploration=yes
75.26/75.08	     nbFoundSolutions=0  globalCpuTime=74.73
75.26/75.08	       =>  wckTime=74.881  cpuTime=74.7  mem=29M646
75.26/75.08	   
75.26/75.08	s UNSATISFIABLE
75.26/75.08	d NODES 444833
75.26/75.08	d CHECKS 75128720
75.26/75.08	   
75.26/75.08	   totalWckTime=74.924  totalCpuTime=74.73

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093040-1247401113/watcher-2093040-1247401113 -o /tmp/evaluation-result-2093040-1247401113/solver-2093040-1247401113 -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-2093040-1247401113.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: 0.03 0.02 0.02 3/67 325
/proc/meminfo: memFree=1848672/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=152 CPUtime=0
/proc/325/stat : 325 (java) R 323 325 32688 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27174835 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 2618148 0 0 4096 0 0 0 0 17 0 0 0
/proc/325/statm: 38 26 19 9 0 4 0

[startup+0.074113 s]
/proc/loadavg: 0.03 0.02 0.02 3/67 325
/proc/meminfo: memFree=1848672/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=866936 CPUtime=0.07
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 3627 0 1 0 6 1 0 0 18 0 9 0 27174835 887742464 3111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 216734 3112 1654 9 0 211226 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 866936

[startup+0.101111 s]
/proc/loadavg: 0.03 0.02 0.02 3/67 325
/proc/meminfo: memFree=1848672/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=866964 CPUtime=0.11
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 4039 0 1 0 9 2 0 0 18 0 9 0 27174835 887771136 3468 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 216741 3468 1798 9 0 211226 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 866964

[startup+0.301134 s]
/proc/loadavg: 0.03 0.02 0.02 3/67 325
/proc/meminfo: memFree=1848672/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=867208 CPUtime=0.33
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 6656 0 1 0 30 3 0 0 18 0 9 0 27174835 888020992 6018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 216802 6019 1995 9 0 211260 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 867208

[startup+0.70117 s]
/proc/loadavg: 0.03 0.02 0.02 3/67 325
/proc/meminfo: memFree=1848672/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868704 CPUtime=0.88
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 15261 408 1 0 79 7 2 0 18 0 9 0 27174835 889552896 10490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217176 10515 2111 9 0 211634 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 868704

[startup+1.50124 s]
/proc/loadavg: 0.03 0.02 0.02 2/76 338
/proc/meminfo: memFree=1810640/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868748 CPUtime=1.78
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 19954 408 1 0 168 8 2 0 18 0 9 0 27174835 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217187 12095 2657 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868748 CPUtime=1.38
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 14923 408 1 0 130 6 2 0 23 0 9 0 27174836 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4127075229 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=325/tid=328] ppid=323 vsize=868748 CPUtime=0.08
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 3262 408 0 0 6 0 2 0 16 0 9 0 27174838 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 15 0 9 0 27174838 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 9 408 0 0 0 0 2 0 15 0 9 0 27174838 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868748 CPUtime=0.33
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 918 408 0 0 31 0 2 0 16 0 9 0 27174840 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 5 408 0 0 0 0 2 0 15 0 9 0 27174840 889597952 12095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 868748

[startup+3.10238 s]
/proc/loadavg: 0.03 0.02 0.02 2/76 338
/proc/meminfo: memFree=1808784/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868748 CPUtime=3.38
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 21134 408 1 0 327 9 2 0 18 0 9 0 27174835 889597952 13212 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217187 13212 2657 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868748 CPUtime=2.98
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 16099 408 1 0 289 7 2 0 25 0 9 0 27174836 889597952 13212 996147200 134512640 134550932 4294955968 18446744073709551615 4127088064 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868748 CPUtime=0.08
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 3262 408 0 0 6 0 2 0 17 0 9 0 27174838 889597952 13212 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 15 0 9 0 27174838 889597952 13212 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 9 408 0 0 0 0 2 0 15 0 9 0 27174838 889597952 13212 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889597952 13212 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868748 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 922 408 0 0 32 0 2 0 16 0 9 0 27174840 889597952 13213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889597952 13213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 5 408 0 0 0 0 2 0 15 0 9 0 27174840 889597952 13213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 868748

[startup+6.30268 s]
/proc/loadavg: 0.11 0.04 0.02 2/76 338
/proc/meminfo: memFree=1796880/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868748 CPUtime=6.58
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 24203 408 1 0 645 11 2 0 18 0 9 0 27174835 889597952 16252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217187 16252 2657 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868748 CPUtime=6.17
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 19146 408 1 0 606 9 2 0 25 0 9 0 27174836 889597952 16252 996147200 134512640 134550932 4294955968 18446744073709551615 4127157971 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868748 CPUtime=0.08
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 3262 408 0 0 6 0 2 0 16 0 9 0 27174838 889597952 16253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=325/tid=329] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 15 0 9 0 27174838 889597952 16253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 9 408 0 0 0 0 2 0 15 0 9 0 27174838 889597952 16253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889597952 16253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868748 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 922 408 0 0 32 0 2 0 16 0 9 0 27174840 889597952 16253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889597952 16253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868748 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889597952 16253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 868748

[startup+12.7022 s]
/proc/loadavg: 0.26 0.07 0.03 3/89 360
/proc/meminfo: memFree=1744872/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=12.98
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 27287 408 1 0 1283 13 2 0 18 0 9 0 27174835 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 19300 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=12.55
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21187 408 1 0 1243 10 2 0 25 0 9 0 27174836 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4127074660 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.09
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 4304 408 0 0 7 0 2 0 16 0 9 0 27174838 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 922 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 19300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 868660

[startup+25.5014 s]
/proc/loadavg: 0.64 0.16 0.06 3/89 360
/proc/meminfo: memFree=1740456/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=25.77
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28331 408 1 0 2562 13 2 0 18 0 9 0 27174835 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20341 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=25.34
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21189 408 1 0 2521 11 2 0 25 0 9 0 27174836 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4127074411 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.1
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5346 408 0 0 7 1 2 0 16 0 9 0 27174838 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 922 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.77
Current children cumulated vsize (KiB) 868660

[startup+51.1017 s]
/proc/loadavg: 1.11 0.31 0.11 3/89 360
/proc/meminfo: memFree=1740328/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=51.37
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28336 408 1 0 5121 14 2 0 18 0 9 0 27174835 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20343 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=50.93
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21191 408 1 0 5080 11 2 0 25 0 9 0 27174836 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4127087972 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.1
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5347 408 0 0 7 1 2 0 16 0 9 0 27174838 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 924 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.37
Current children cumulated vsize (KiB) 868660

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

[startup+63.9028 s]
/proc/loadavg: 1.24 0.37 0.13 3/89 360
/proc/meminfo: memFree=1740328/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=64.16
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28337 408 1 0 6400 14 2 0 18 0 9 0 27174835 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20343 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=63.73
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21192 408 1 0 6360 11 2 0 25 0 9 0 27174836 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4127111532 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.11
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5347 408 0 0 8 1 2 0 16 0 9 0 27174838 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 924 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.16
Current children cumulated vsize (KiB) 868660

[startup+70.3014 s]
/proc/loadavg: 1.36 0.42 0.15 3/89 360
/proc/meminfo: memFree=1740264/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=70.56
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28339 408 1 0 7040 14 2 0 18 0 9 0 27174835 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20344 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=70.12
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21193 408 1 0 6999 11 2 0 25 0 9 0 27174836 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4127111489 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.11
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5348 408 0 0 8 1 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 924 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 70.56
Current children cumulated vsize (KiB) 868660

[startup+73.5027 s]
/proc/loadavg: 1.36 0.42 0.15 3/89 360
/proc/meminfo: memFree=1740264/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=73.76
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28339 408 1 0 7360 14 2 0 18 0 9 0 27174835 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20344 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=73.32
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21193 408 1 0 7319 11 2 0 25 0 9 0 27174836 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4127091534 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.11
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5348 408 0 0 8 1 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 924 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 73.76
Current children cumulated vsize (KiB) 868660

[startup+74.3028 s]
/proc/loadavg: 1.36 0.42 0.15 3/89 360
/proc/meminfo: memFree=1740264/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=74.56
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28339 408 1 0 7440 14 2 0 18 0 9 0 27174835 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20344 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=74.12
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21193 408 1 0 7399 11 2 0 25 0 9 0 27174836 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4127085548 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.11
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5348 408 0 0 8 1 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 924 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 74.56
Current children cumulated vsize (KiB) 868660

[startup+74.7028 s]
/proc/loadavg: 1.41 0.44 0.16 5/89 360
/proc/meminfo: memFree=1740264/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=74.96
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28339 408 1 0 7480 14 2 0 18 0 9 0 27174835 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20344 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=74.52
/proc/325/task/327/stat : 327 (java) R 323 325 32688 0 -1 64 21193 408 1 0 7439 11 2 0 25 0 9 0 27174836 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4127087616 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.11
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5348 408 0 0 8 1 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 924 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) R 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 74.96
Current children cumulated vsize (KiB) 868660

[startup+75.1019 s]
/proc/loadavg: 1.41 0.44 0.16 5/89 360
/proc/meminfo: memFree=1740264/2055920 swapFree=4192812/4192956
[pid=325] ppid=323 vsize=868660 CPUtime=75.34
/proc/325/stat : 325 (java) S 323 325 32688 0 -1 0 28342 408 1 0 7518 14 2 0 18 0 9 0 27174835 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/325/statm: 217165 20346 2638 9 0 211623 0
[pid=325/tid=327] ppid=323 vsize=868660 CPUtime=74.9
/proc/325/task/327/stat : 327 (java) S 323 325 32688 0 -1 64 21195 408 1 0 7477 11 2 0 25 0 9 0 27174836 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=328] ppid=323 vsize=868660 CPUtime=0.11
/proc/325/task/328/stat : 328 (java) S 323 325 32688 0 -1 64 5348 408 0 0 8 1 2 0 16 0 9 0 27174838 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=329] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/329/stat : 329 (java) S 323 325 32688 0 -1 64 19 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=330] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/330/stat : 330 (java) S 323 325 32688 0 -1 64 10 408 0 0 0 0 2 0 16 0 9 0 27174838 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=331] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/331/stat : 331 (java) S 323 325 32688 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27174840 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=332] ppid=323 vsize=868660 CPUtime=0.34
/proc/325/task/332/stat : 332 (java) S 323 325 32688 0 -1 64 925 408 0 0 32 0 2 0 16 0 9 0 27174840 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=333] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/333/stat : 333 (java) S 323 325 32688 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27174840 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=325/tid=334] ppid=323 vsize=868660 CPUtime=0.02
/proc/325/task/334/stat : 334 (java) S 323 325 32688 0 -1 64 27 408 0 0 0 0 2 0 15 0 9 0 27174840 889507840 20346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.34
Current children cumulated vsize (KiB) 868660

Child status: 0
Real time (s): 75.1391
CPU time (s): 75.3735
CPU user time (s): 75.2116
CPU system time (s): 0.161975
CPU usage (%): 100.312
Max. virtual memory (cumulated for all children) (KiB): 868748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.2116
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28777
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= 1968
involuntary context switches= 629

runsolver used 0.089986 second user time and 0.26196 second system time

The end

Launcher Data 

Begin job on node51 at 2009-07-12 14:18:33
IDJOB=2093040
IDBENCH=53338
IDSOLVER=774
FILE ID=node51/2093040-1247401113
PBS_JOBID= 9510543
Free space on /tmp= 66208 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QCP-15/normalized-qcp-15-120-10_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-2093040-1247401113/watcher-2093040-1247401113 -o /tmp/evaluation-result-2093040-1247401113/solver-2093040-1247401113 -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-2093040-1247401113.xml

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

MD5SUM BENCH= 5e073093b560129bc493ef597f3d0605
RANDOM SEED=11325985

node51.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.225
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.225
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:       1849152 kB
Buffers:         37100 kB
Cached:          97064 kB
SwapCached:          0 kB
Active:         103392 kB
Inactive:        46032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849152 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2252 kB
Writeback:           0 kB
Mapped:          25104 kB
Slab:            43048 kB
Committed_AS:   183016 kB
PageTables:       1612 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= 66204 MiB
End job on node51 at 2009-07-12 14:19:49