Trace number 1078386

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 455.275 458.03

DiagnosticValue
CHECKS3098100
NODES335559

General information on the benchmark

Namecsp/rand-3-20-20-fcd/
normalized-rand-3-20-20-60-632-fcd-49_ext.xml
MD5SUMac116e5ecbd6a3660767e6a5e97fc106
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.8951
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints57
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension57
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=esac.xml
0.29/0.32	   
0.29/0.32	   instance
0.29/0.32	     name=HOME/instance-1078386-1215206742.xml
0.29/0.36	   
0.29/0.36	   domains being loaded...
0.29/0.37	   
0.29/0.37	   variables being loaded...
0.29/0.39	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20  nbTotalValues=400
0.29/0.39	       =>  wckTime=0.148  cpuTime=0.09  mem=7M919
0.29/0.39	   
0.29/0.39	   relations being loaded...
0.68/0.73	   
0.68/0.73	   constraints being loaded...
0.87/0.97	     nbConstraints=57  nbRelationTypes=57  nbGlobalConstraints=57  nbExtensionStructures=57
0.87/0.97	     nbSharedExtensionStructures=0  nbConflictsStructures=57  nbSharedConflictsStructures=0
0.87/0.97	     nbSharedBinaryRepresentations=0  minDegree=5  maxDegree=12  minArity=3  maxArity=3  nbGenerators=0  nbFusions=0
0.87/0.97	     symmetryWckTime=0.045  symmetryCpuTime=0.02
0.87/0.97	       =>  wckTime=0.725  cpuTime=0.6  mem=46M230
0.97/1.10	   
0.97/1.10	   solver IterativeSystematicSolver being built... 
1.06/1.18	   
1.06/1.18	   INFO : Forward propagation technique limited 
1.16/1.25	       =>  wckTime=1.01  cpuTime=0.73  mem=29M38
1.26/1.38	   
1.26/1.38	   preprocessing
1.26/1.38	     nbConstraintChecks=0  nbValidityChecks=1254674  nbPropagations=166  nbRevisions=0  nbUselessRevisions=0
1.26/1.38	     nbSingletonTests=28  nbEffectiveSingletonTests=0  nbACRemovals=0  nbFoundSingletons=0  nbRemovedValues=0
1.26/1.38	     detectedInconsistency=no
1.26/1.38	       =>  wckTime=0.127  cpuTime=0.1  mem=29M38
1.95/2.05	   
1.95/2.05	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M5)
455.17/457.97	   
455.17/457.97	   search
455.17/457.97	     run=22  nbConstraintChecks=3098101  nbValidityChecks=6233368860  minDepth=0  maxDepth=20  nbPropagations=11421881
455.17/457.97	     nbRevisions=0  nbUselessRevisions=0  nbAssignments=335559  nbFailedAssignments=221995  nbBacktracks=113429
455.17/457.97	     nbVisitedNodes=642351  nbRestartNogoods=257  nbFoundSolutions=1  nbSEliminables=0.09  nbREliminables=3.21
455.17/457.97	     nbIEliminables=10.54  nbDEliminables=0  nbPEliminables=0
455.17/457.97	       =>  wckTime=456.712  cpuTime=453.9  mem=38M559
455.17/457.97	   
455.17/457.97	   global
455.17/457.97	     nbConstraintChecks=3098101  nbValidityChecks=6234623534  nbPropagations=11422047  nbRestartNogoods=257
455.17/457.97	     solvingWckTime=456.716  solvingCpuTime=453.9  expiredTime=no  totalExploration=no  nbFoundSolutions=1
455.17/457.97	     firstSolutionCpuTime=454.63  globalCpuTime=454.69
455.17/457.97	       =>  wckTime=457.728  cpuTime=454.63  mem=38M559
455.17/457.97	   
455.17/457.97	s SATISFIABLE
455.17/457.97	v 14 3 1 10 16 3 13 17 7 7 2 18 15 12 8 10 9 2 1 10 
455.17/457.97	d NODES 335559
455.17/457.97	d CHECKS 3098101
455.17/457.97	   
455.17/457.97	   totalWckTime=457.786  totalCpuTime=454.7

Verifier Data (download as text)

OK

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-1078386-1215206742/watcher-1078386-1215206742 -o /tmp/evaluation-result-1078386-1215206742/solver-1078386-1215206742 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1078386-1215206742.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): 2200 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.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=1616 CPUtime=0
/proc/7557/stat : 7557 (java) D 7555 7557 5830 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1550341849 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 68 37 28 9 0 6 0

[startup+0.098061 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=865884 CPUtime=0.08
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 3683 0 1 0 6 2 0 0 18 0 9 0 1550341849 886665216 3158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216471 3158 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.102055 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=865884 CPUtime=0.09
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 3714 0 1 0 7 2 0 0 18 0 9 0 1550341849 886665216 3180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216471 3180 1686 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.307259 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=866196 CPUtime=0.29
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 5619 0 1 0 25 4 0 0 18 0 9 0 1550341849 886984704 5033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216549 5033 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196

[startup+0.702142 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 7557
/proc/meminfo: memFree=1359008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=866408 CPUtime=0.68
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 10395 0 1 0 61 7 0 0 18 0 9 0 1550341849 887201792 9765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216602 9765 1968 9 0 211130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866408

[startup+1.50225 s]
/proc/loadavg: 2.00 2.00 1.99 5/82 7570
/proc/meminfo: memFree=1307032/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867264 CPUtime=1.45
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27287 268 1 0 132 13 0 0 18 0 9 0 1550341849 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216816 18361 2631 9 0 211322 0
[pid=7557/tid=7559] ppid=7555 vsize=867264 CPUtime=1.15
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18807 268 1 0 106 9 0 0 25 0 9 0 1550341850 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4126747296 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867264 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 18 0 9 0 1550341852 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867264 CPUtime=0.16
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 501 268 0 0 16 0 0 0 15 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 16 0 9 0 1550341854 888078336 18361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867264

[startup+3.10174 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1295448/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867264 CPUtime=3.05
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27321 268 1 0 291 14 0 0 18 0 9 0 1550341849 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216816 18381 2631 9 0 211322 0
[pid=7557/tid=7559] ppid=7555 vsize=867264 CPUtime=2.7
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18820 268 1 0 261 9 0 0 25 0 9 0 1550341850 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4126735603 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867264 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 17 0 9 0 1550341852 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867264 CPUtime=0.19
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 522 268 0 0 19 0 0 0 15 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867264 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888078336 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867264

[startup+6.30286 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1295192/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=6.21
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27353 268 1 0 607 14 0 0 18 0 9 0 1550341849 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18395 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=5.84
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18835 268 1 0 575 9 0 0 25 0 9 0 1550341850 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4126735603 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 17 0 9 0 1550341852 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.22
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 539 268 0 0 22 0 0 0 15 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867396

[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1294944/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=12.55
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27377 268 1 0 1241 14 0 0 18 0 9 0 1550341849 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18398 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=12.17
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18855 268 1 0 1208 9 0 0 25 0 9 0 1550341850 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4126746715 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 543 268 0 0 23 0 0 0 15 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867396

[startup+25.5026 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1295008/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=25.23
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27410 268 1 0 2509 14 0 0 18 0 9 0 1550341849 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18400 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=24.85
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18886 268 1 0 2475 10 0 0 25 0 9 0 1550341850 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4126746948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 17 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 545 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867396

[startup+51.1026 s]
/proc/loadavg: 2.00 2.00 1.99 3/82 7570
/proc/meminfo: memFree=1294944/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=50.58
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 27506 268 1 0 5044 14 0 0 18 0 9 0 1550341849 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18400 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=50.2
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 18981 268 1 0 5010 10 0 0 25 0 9 0 1550341850 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4126735642 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18400 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0

################
# More data... #
################

/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28809 268 1 0 44499 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=444.78
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20284 268 1 0 44465 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126747008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 445.17
Current children cumulated vsize (KiB) 867396

[startup+454.311 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436576/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=451.58
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28822 268 1 0 45140 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=451.19
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20297 268 1 0 45106 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126747087 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 451.58
Current children cumulated vsize (KiB) 867396

[startup+455.902 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436448/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=453.17
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28828 268 1 0 45299 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=452.78
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20303 268 1 0 45265 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746945 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 453.17
Current children cumulated vsize (KiB) 867396

[startup+456.701 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=453.97
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28832 268 1 0 45379 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=453.58
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20307 268 1 0 45345 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746803 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 453.97
Current children cumulated vsize (KiB) 867396

[startup+457.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=454.77
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28836 268 1 0 45459 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=454.38
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20311 268 1 0 45425 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746695 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 454.77
Current children cumulated vsize (KiB) 867396

[startup+457.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=455.17
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28837 268 1 0 45499 18 0 0 18 0 9 0 1550341849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18401 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=454.78
/proc/7557/task/7559/stat : 7559 (java) R 7555 7557 5830 0 -1 64 20312 268 1 0 45465 13 0 0 25 0 9 0 1550341850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746721 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 455.17
Current children cumulated vsize (KiB) 867396

[startup+458.001 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 7689
/proc/meminfo: memFree=1436384/2055920 swapFree=4095852/4192956
[pid=7557] ppid=7555 vsize=867396 CPUtime=455.24
/proc/7557/stat : 7557 (java) S 7555 7557 5830 0 -1 0 28935 268 1 0 45506 18 0 0 18 0 9 0 1550341849 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7557/statm: 216849 18405 2631 9 0 211355 0
[pid=7557/tid=7559] ppid=7555 vsize=867396 CPUtime=454.86
/proc/7557/task/7559/stat : 7559 (java) S 7555 7557 5830 0 -1 64 20410 268 1 0 45472 14 0 0 25 0 9 0 1550341850 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7560] ppid=7555 vsize=867396 CPUtime=0.11
/proc/7557/task/7560/stat : 7560 (java) S 7555 7557 5830 0 -1 64 7138 268 0 0 9 2 0 0 16 0 9 0 1550341852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7561] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7561/stat : 7561 (java) S 7555 7557 5830 0 -1 64 16 268 0 0 0 0 0 0 17 0 9 0 1550341852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7562] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7562/stat : 7562 (java) S 7555 7557 5830 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 1550341852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7563] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7563/stat : 7563 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 18 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7564] ppid=7555 vsize=867396 CPUtime=0.23
/proc/7557/task/7564/stat : 7564 (java) S 7555 7557 5830 0 -1 64 546 268 0 0 23 0 0 0 16 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7557/tid=7565] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7565/stat : 7565 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 19 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7557/tid=7566] ppid=7555 vsize=867396 CPUtime=0
/proc/7557/task/7566/stat : 7566 (java) S 7555 7557 5830 0 -1 64 1 268 0 0 0 0 0 0 15 0 9 0 1550341854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 455.24
Current children cumulated vsize (KiB) 867396

Child status: 0
Real time (s): 458.03
CPU time (s): 455.275
CPU user time (s): 455.068
CPU system time (s): 0.206968
CPU usage (%): 99.3984
Max. virtual memory (cumulated for all children) (KiB): 867396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 455.068
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29232
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= 10284
involuntary context switches= 13710

runsolver used 0.601908 second user time and 1.50577 second system time

The end

Launcher Data (download as text)

Begin job on node40 at 2008-07-04 23:25:42
IDJOB=1078386
IDBENCH=56784
IDSOLVER=364
FILE ID=node40/1078386-1215206742
PBS_JOBID= 7881668
Free space on /tmp= 66504 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-49_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078386-1215206742/watcher-1078386-1215206742 -o /tmp/evaluation-result-1078386-1215206742/solver-1078386-1215206742 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1078386-1215206742.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= ac116e5ecbd6a3660767e6a5e97fc106
RANDOM SEED=1124886983

node40.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.209
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.209
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:       1359488 kB
Buffers:         73020 kB
Cached:         325920 kB
SwapCached:      91204 kB
Active:         527656 kB
Inactive:       119900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1359488 kB
SwapTotal:     4192956 kB
SwapFree:      4095852 kB
Dirty:            3216 kB
Writeback:           0 kB
Mapped:         255708 kB
Slab:            33724 kB
Committed_AS:  3202588 kB
PageTables:       2364 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= 66536 MiB
End job on node40 at 2008-07-04 23:33:20