Trace number 1883787

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
BoolVar 2009-04-26? (MO) 416.639 421.925

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_15.opb
MD5SUM3a49e9ca428303ad7abadc0455252e53
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.03784
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

Solver Data 

400.11/405.28	------------------------
400.11/405.28	Encoding : LINEAR, DIRECT, BDD, POLYW, GLOBC
400.11/405.28	Size : 0, 1081550, 0, 0, 3505255
400.11/405.28	Count : 0, 32938, 0, 0, 9
400.11/405.28	
400.11/405.28	Command line : minisat tmp.dimacs %var 
400.11/405.28	
400.11/405.28	------------------------
400.20/405.31	This is MiniSat 2.0 beta
400.20/405.31	WARNING: for repeatability, setting FPU to use double precision
400.20/405.31	============================[ Problem Statistics ]=============================
400.20/405.31	|                                                                             |
400.20/405.32	|  Number of variables:  42794                                                |
400.20/405.32	|  Number of clauses:    1710029                                              |
401.58/406.75	|  Parsing time:         1.25         s                                       |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1883787-1245214994/watcher-1883787-1245214994 -o /tmp/evaluation-result-1883787-1245214994/solver-1883787-1245214994 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1883787-1245214994.opb minisat %dimacs %var 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.53 1.72 1.73 4/72 7213
/proc/meminfo: memFree=1841176/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=18576 CPUtime=0
/proc/7213/stat : 7213 (runsolver) R 7211 7213 6837 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 178025796 19021824 284 1992294400 4194304 4302564 548682068448 18446744073709551615 269930261799 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7213/statm: 4644 284 249 26 0 2626 0

[startup+0.0186621 s]
/proc/loadavg: 1.53 1.72 1.73 4/72 7213
/proc/meminfo: memFree=1841176/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=18576 CPUtime=0
/proc/7213/stat : 7213 (runsolver) D 7211 7213 6837 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 178025796 19021824 284 1992294400 4194304 4302564 548682068448 18446744073709551615 269930261799 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/7213/statm: 4644 284 249 26 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18576

[startup+0.101679 s]
/proc/loadavg: 1.53 1.72 1.73 4/72 7213
/proc/meminfo: memFree=1841176/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1472 CPUtime=0
/proc/7213/stat : 7213 (java) D 7211 7213 6837 0 -1 0 91 0 4 0 0 0 0 0 18 0 1 0 178025796 1507328 68 1992294400 134512640 134550932 4294956192 18446744073709551615 9211552 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/7213/statm: 368 68 48 9 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1472

[startup+0.302257 s]
/proc/loadavg: 1.53 1.72 1.73 4/72 7213
/proc/meminfo: memFree=1841176/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1682172 CPUtime=0.03
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 1469 0 74 0 0 3 0 0 18 0 5 0 178025796 1722544128 1207 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 420543 1207 695 9 0 415458 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1682172

[startup+0.7018 s]
/proc/loadavg: 1.53 1.72 1.73 4/72 7213
/proc/meminfo: memFree=1841176/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685472 CPUtime=0.21
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 3114 0 96 0 15 6 0 0 18 0 9 0 178025796 1725923328 2697 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421368 2697 1227 9 0 416279 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 1685472

[startup+1.50296 s]
/proc/loadavg: 1.53 1.72 1.73 4/81 7222
/proc/meminfo: memFree=1812048/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685504 CPUtime=0.98
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 7685 0 99 0 90 8 0 0 18 0 9 0 178025796 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421376 6749 2154 9 0 416287 0
[pid=7213/tid=7215] ppid=7211 vsize=1685504 CPUtime=0.61
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 2001 0 42 0 57 4 0 0 16 0 9 0 178025813 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4126355767 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685504 CPUtime=0.29
/proc/7213/task/7216/stat : 7216 (java) R 7211 7213 6837 0 -1 64 4718 0 3 0 28 1 0 0 17 0 9 0 178025822 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 178025825 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 15 0 9 0 178025825 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685504 CPUtime=0.04
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 284 0 0 0 4 0 0 0 15 0 9 0 178025852 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178025852 1725956096 6749 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1685504

[startup+3.10128 s]
/proc/loadavg: 1.65 1.74 1.73 2/81 7222
/proc/meminfo: memFree=1800144/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685504 CPUtime=2.59
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 9172 0 101 0 250 9 0 0 18 0 9 0 178025796 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421376 8190 2166 9 0 416287 0
[pid=7213/tid=7215] ppid=7211 vsize=1685504 CPUtime=2.13
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 2091 0 44 0 209 4 0 0 17 0 9 0 178025813 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4126506279 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685504 CPUtime=0.36
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 6094 0 3 0 34 2 0 0 16 0 9 0 178025822 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 178025825 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 15 0 9 0 178025825 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685504 CPUtime=0.06
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 305 0 0 0 6 0 0 0 16 0 9 0 178025852 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685504 CPUtime=0
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178025852 1725956096 8190 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 1685504

[startup+6.31091 s]
/proc/loadavg: 1.65 1.74 1.73 4/81 7222
/proc/meminfo: memFree=1789712/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=5.79
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 12782 0 101 0 568 11 0 0 18 0 9 0 178025796 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 9033 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=5.12
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 2263 0 44 0 508 4 0 0 25 0 9 0 178025813 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4126505117 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=0.56
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 9532 0 3 0 53 3 0 0 16 0 9 0 178025822 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.06
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 305 0 0 0 6 0 0 0 16 0 9 0 178025852 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178025852 1726025728 9033 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 1685572

[startup+12.7055 s]
/proc/loadavg: 1.62 1.73 1.73 2/81 7222
/proc/meminfo: memFree=1791192/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=12.16
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 14327 0 101 0 1202 14 0 0 18 0 9 0 178025796 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 10516 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=11.37
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 2325 0 44 0 1131 6 0 0 18 0 9 0 178025813 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4126549685 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=0.68
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 11006 0 3 0 63 5 0 0 16 0 9 0 178025822 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.06
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 314 0 0 0 6 0 0 0 16 0 9 0 178025852 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178025852 1726025728 10516 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 1685572

[startup+25.5039 s]
/proc/loadavg: 1.60 1.72 1.73 2/81 7222
/proc/meminfo: memFree=1777048/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=24.81
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 20108 0 101 0 2458 23 0 0 18 0 9 0 178025796 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 13014 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=23.29
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 2803 0 44 0 2317 12 0 0 16 0 9 0 178025813 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 102093453 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=1.4
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 16298 0 3 0 132 8 0 0 16 0 9 0 178025822 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.08
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 325 0 0 0 8 0 0 0 16 0 9 0 178025852 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178025852 1726025728 13014 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (KiB) 1685572

[startup+51.1098 s]
/proc/loadavg: 1.61 1.71 1.72 2/81 7222
/proc/meminfo: memFree=1678296/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=50.03
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 45655 0 101 0 4953 50 0 0 18 0 9 0 178025796 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 35614 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=46.11
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 4147 0 44 0 4586 25 0 0 20 0 9 0 178025813 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4126551536 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=3.77
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 40488 0 3 0 355 22 0 0 16 0 9 0 178025822 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.1
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 178025852 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 35614 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=153.97
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 4324 0 44 0 15335 62 0 0 25 0 9 0 178025813 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4126508247 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=5.49
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 51966 0 3 0 521 28 0 0 16 0 9 0 178025822 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.1
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 159.62
Current children cumulated vsize (KiB) 1685572

[startup+222.308 s]
/proc/loadavg: 1.59 1.70 1.72 3/81 7222
/proc/meminfo: memFree=1624856/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=218.81
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 57421 0 101 0 21762 119 0 0 18 0 9 0 178025796 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 46127 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=212.55
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 4435 0 44 0 21169 86 0 0 23 0 9 0 178025813 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4126551584 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=6.11
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 51966 0 3 0 582 29 0 0 16 0 9 0 178025822 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.1
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178025852 1726025728 46127 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 218.81
Current children cumulated vsize (KiB) 1685572

[startup+282.302 s]
/proc/loadavg: 1.74 1.70 1.71 2/81 7222
/proc/meminfo: memFree=1599704/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=277.98
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 63851 0 101 0 27661 137 0 0 18 0 9 0 178025796 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 52473 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=271.08
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 4519 0 44 0 27007 101 0 0 18 0 9 0 178025813 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4125903040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=6.74
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 58312 0 3 0 642 32 0 0 16 0 9 0 178025822 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.1
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 178025852 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0.01
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 178025852 1726025728 52473 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.98
Current children cumulated vsize (KiB) 1685572

[startup+342.302 s]
/proc/loadavg: 2.07 1.79 1.74 3/81 7222
/proc/meminfo: memFree=1557336/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=337.65
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 76567 0 101 0 33613 152 0 0 18 0 9 0 178025796 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 62986 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=329.17
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 5857 0 44 0 32808 109 0 0 25 0 9 0 178025813 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4126505117 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=8.31
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 69690 0 3 0 793 38 0 0 16 0 9 0 178025822 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.1
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 178025852 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0.01
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 178025852 1726025728 62986 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 337.65
Current children cumulated vsize (KiB) 1685572

[startup+402.302 s]
/proc/loadavg: 2.01 1.83 1.76 4/81 7222
/proc/meminfo: memFree=1536792/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1685572 CPUtime=397.24
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 81748 0 101 0 39563 161 0 0 18 0 9 0 178025796 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421393 68118 2164 9 0 416304 0
[pid=7213/tid=7215] ppid=7211 vsize=1685572 CPUtime=388.23
/proc/7213/task/7215/stat : 7215 (java) R 7211 7213 6837 0 -1 64 5906 0 44 0 38707 116 0 0 25 0 9 0 178025813 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4126553528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1685572 CPUtime=8.86
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 74822 0 3 0 845 41 0 0 16 0 9 0 178025822 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 178025825 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 9 0 178025825 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 178025852 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1685572 CPUtime=0.1
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 178025852 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1685572 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 178025852 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1685572 CPUtime=0.02
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 178025852 1726025728 68118 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 397.24
Current children cumulated vsize (KiB) 1685572



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+421.802 s]
/proc/loadavg: 1.98 1.84 1.76 2/85 7226
/proc/meminfo: memFree=1329528/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=1686544 CPUtime=400.21
/proc/7213/stat : 7213 (java) S 7211 7213 6837 0 -1 0 92468 0 102 0 39848 173 0 0 18 0 12 0 178025796 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 421636 78552 2167 9 0 416547 0
[pid=7224] ppid=7213 vsize=156964 CPUtime=16.3
/proc/7224/stat : 7224 (minisat) R 7213 7213 6837 0 -1 4194304 38412 0 0 0 1604 26 0 0 25 0 1 0 178066325 160731136 38363 1992294400 134512640 135156773 4294956080 18446744073709551615 134710443 0 4 0 3 0 0 0 17 0 0 0
/proc/7224/statm: 39241 38363 71 157 0 39081 0
[pid=7213/tid=7215] ppid=7211 vsize=1686544 CPUtime=390.47
/proc/7213/task/7215/stat : 7215 (java) S 7211 7213 6837 0 -1 64 6081 0 45 0 38926 121 0 0 18 0 12 0 178025813 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7216] ppid=7211 vsize=1686544 CPUtime=9.53
/proc/7213/task/7216/stat : 7216 (java) S 7211 7213 6837 0 -1 64 85235 0 3 0 908 45 0 0 16 0 12 0 178025822 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7217] ppid=7211 vsize=1686544 CPUtime=0
/proc/7213/task/7217/stat : 7217 (java) S 7211 7213 6837 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 178025825 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7218] ppid=7211 vsize=1686544 CPUtime=0
/proc/7213/task/7218/stat : 7218 (java) S 7211 7213 6837 0 -1 64 10 0 1 0 0 0 0 0 16 0 12 0 178025825 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7219] ppid=7211 vsize=1686544 CPUtime=0
/proc/7213/task/7219/stat : 7219 (java) S 7211 7213 6837 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 178025852 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7220] ppid=7211 vsize=1686544 CPUtime=0.11
/proc/7213/task/7220/stat : 7220 (java) S 7211 7213 6837 0 -1 64 346 0 0 0 11 0 0 0 15 0 12 0 178025852 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7213/tid=7221] ppid=7211 vsize=1686544 CPUtime=0
/proc/7213/task/7221/stat : 7221 (java) S 7211 7213 6837 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 178025852 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7222] ppid=7211 vsize=1686544 CPUtime=0.02
/proc/7213/task/7222/stat : 7222 (java) S 7211 7213 6837 0 -1 64 6 0 0 0 1 1 0 0 15 0 12 0 178025852 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7213/tid=7223] ppid=7211 vsize=1686544 CPUtime=0.01
/proc/7213/task/7223/stat : 7223 (java) S 7211 7213 6837 0 -1 64 70 0 0 0 0 1 0 0 19 0 12 0 178066325 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
[pid=7213/tid=7225] ppid=7211 vsize=1686544 CPUtime=0
/proc/7213/task/7225/stat : 7225 (java) S 7211 7213 6837 0 -1 64 38 0 0 0 0 0 0 0 16 0 12 0 178066328 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7213/tid=7226] ppid=7211 vsize=1686544 CPUtime=0
/proc/7213/task/7226/stat : 7226 (java) S 7211 7213 6837 0 -1 64 11 0 0 0 0 0 0 0 19 0 12 0 178066328 1727021056 78552 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
Current children cumulated CPU time (s) 416.51
Current children cumulated vsize (KiB) 1843508

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+421.915 s]
/proc/loadavg: 1.98 1.84 1.76 2/85 7226
/proc/meminfo: memFree=1329528/2055920 swapFree=4192812/4192956
[pid=7213] ppid=7211 vsize=0 CPUtime=416.61
/proc/7213/stat : 7213 (java) Z 7211 7213 6837 0 -1 1036 92982 38412 155 0 39848 179 1604 30 16 0 2 0 178025796 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7213/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 416.61
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 421.925
CPU time (s): 416.639
CPU user time (s): 414.532
CPU system time (s): 2.10668
CPU usage (%): 98.7472
Max. virtual memory (cumulated for all children) (KiB): 1843508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 414.532
system time used= 2.10668
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131394
page faults= 155
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18007
involuntary context switches= 25683

runsolver used 0.59091 second user time and 1.66875 second system time

The end

Launcher Data 

Begin job on node53 at 2009-06-17 07:03:15
IDJOB=1883787
IDBENCH=48326
IDSOLVER=688
FILE ID=node53/1883787-1245214994
PBS_JOBID= 9368379
Free space on /tmp= 66344 MiB

SOLVER NAME= BoolVar 2009-04-26
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_3_15.opb
COMMAND LINE= java -Xmx1500m -jar pb2cnfsolver.jar 6 BENCHNAME minisat %dimacs %var
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1883787-1245214994/watcher-1883787-1245214994 -o /tmp/evaluation-result-1883787-1245214994/solver-1883787-1245214994 -C 1800 -W 2000 -M 1800  java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1883787-1245214994.opb minisat %dimacs %var

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

MD5SUM BENCH= 3a49e9ca428303ad7abadc0455252e53
RANDOM SEED=1067511676

node53.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.283
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.283
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1842744 kB
Buffers:         13252 kB
Cached:         108188 kB
SwapCached:        144 kB
Active:          32784 kB
Inactive:       120052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1460 kB
Writeback:           0 kB
Mapped:          42644 kB
Slab:            45488 kB
Committed_AS:   603040 kB
PageTables:       2056 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1883787-1245214994.opb

Free space on /tmp at the end= 66344 MiB
End job on node53 at 2009-06-17 07:10:19