Trace number 237843

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, and are wall clock time (not CPU 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
sat4jCSP 1.7 RC BF3? (TO) 1800.22 1804.19

General information on the benchmark

Namehaystacks/
haystacks_32.xml
MD5SUM3ff483edd60f3e73118ce7d27f98532d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark141.815
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1024
Number of constraints15903
Maximum constraint arity2
Maximum domain size32
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15903
Global constraints used (with number of constraints)

Solver Data (download as text)

0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16	c version CSP COMPETITION BUGFIX 3
0.16	c sun.arch.data.model	32
0.16	c java.version	1.5.0_10
0.16	c os.name	Linux
0.16	c os.version	2.6.9-22.EL.rootsmp
0.16	c os.arch	i386
0.16	c Free memory 722620888
0.16	c Max memory 723845120
0.16	c Total memory 723845120
0.16	c Number of processors 2
0.25	c --- Begin Solver configuration ---
0.25	c Stops conflict analysis at the first Unique Implication Point
0.25	c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.25	c Learn all clauses as in MiniSAT
0.25	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25	c VSIDS like heuristics from MiniSAT using a heap
0.25	c No reason simplification
0.25	c --- End Solver configuration ---
0.25	c solving /tmp/evaluation/237843-1168351541/unknown.xml
0.25	c reading problem ... 
0.52	c reading problem named ?
0.53	c reading domains done.
0.53	c reading variables
c reading variables (1024) done.
1.25	c reading predicates 
c reading relations (5) done.
1.48	c reading constraints
c reading constraints done.
42.41	c ... done. Wall clock time 42.156s.
42.41	c CPU time (experimental) 35.71s.
42.41	c #vars     32768
42.41	c #constraints  1017856
563.14	c cleaning 79989 clauses out of 160000 for limit 20785.661967771885
565.70	c cleaning 40241 clauses out of 80511 for limit 68121.54809348485
568.14	c cleaning 20377 clauses out of 40774 for limit 222715.44991461615
570.22	c cleaning 10433 clauses out of 20894 for limit 714602.3256529588
571.65	c cleaning 5470 clauses out of 10960 for limit 2244382.308683333
572.82	c cleaning 2995 clauses out of 5991 for limit 6777951.705541656
573.78	c cleaning 1740 clauses out of 3495 for limit 1.9141324454021145E7
574.70	c cleaning 1120 clauses out of 2256 for limit 4.895200317554361E7
575.56	c cleaning 808 clauses out of 1636 for limit 1.113222950658159E8
576.35	c cleaning 665 clauses out of 1330 for limit 2.2627611847341406E8
577.04	c cleaning 570 clauses out of 1166 for limit 4.260712296803655E8
577.72	c cleaning 547 clauses out of 1096 for limit 7.475256389750371E8
578.42	c cleaning 522 clauses out of 1045 for limit 1.2877696826746507E9
1626.65	c cleaning 80751 clauses out of 161524 for limit 7.543059866774196E-4
1628.34	c cleaning 40631 clauses out of 81273 for limit 0.0024722603947482137
1629.89	c cleaning 20569 clauses out of 41146 for limit 0.008085498761637803
1631.25	c cleaning 10522 clauses out of 21072 for limit 0.025906694703170106
1632.66	c cleaning 5512 clauses out of 11050 for limit 0.08147256207290787
1633.77	c cleaning 3005 clauses out of 6038 for limit 0.2458874879747535
1634.65	c cleaning 1751 clauses out of 3533 for limit 0.6930136493667222
1635.45	c cleaning 1126 clauses out of 2283 for limit 1.7703939350974962
1636.23	c cleaning 813 clauses out of 1658 for limit 4.024219833852836
1636.97	c cleaning 654 clauses out of 1343 for limit 8.176681365699618
1637.63	c cleaning 582 clauses out of 1190 for limit 15.233388715619165
1638.31	c cleaning 542 clauses out of 1108 for limit 26.981097558866043
1638.98	c cleaning 521 clauses out of 1067 for limit 46.25144994111075
1639.78	c cleaning 511 clauses out of 1046 for limit 77.80615856727128
1640.59	c cleaning 504 clauses out of 1035 for limit 129.67647473648594
1641.40	c cleaning 499 clauses out of 1029 for limit 214.670829369503
1642.12	c cleaning 499 clauses out of 1031 for limit 353.68785112726374
1642.84	c cleaning 503 clauses out of 1033 for limit 582.7320234714764
1643.60	c cleaning 505 clauses out of 1030 for limit 963.8021012480209
1644.28	c cleaning 497 clauses out of 1026 for limit 1597.232474286408
1645.03	c cleaning 497 clauses out of 1028 for limit 2626.2964876811197
1645.75	c cleaning 507 clauses out of 1034 for limit 4318.925882038673
1646.52	c cleaning 497 clauses out of 1022 for limit 7170.157940638755
1804.03	c starts		: 19
1804.03	c conflicts		: 375593
1804.03	c decisions		: 745159
1804.03	c propagations		: 10813245
1804.03	c inspects		: 2710553096
1804.03	c learnt literals	: 0
1804.03	c learnt binary clauses	: 0
1804.03	c learnt ternary clauses	: 0
1804.03	c learnt clauses	: 375593
1804.03	c root simplifications	: 0
1804.03	c removed literals (reason simplification)	: 0
1804.03	c reason swapping (by a shorter reason)	: 0
1804.03	c Calls to reduceDB	: 36
1804.03	c speed (decisions/second)	: 423.0084526870916
1804.03	c non guided choices	336107
1804.03	s UNKNOWN
1804.03	c Total wall clock time (in seconds) : 1803.78
1804.03	c Total CPU time (experimental, in seconds) : 0.0

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-237843-1168351541 -o ROOT/results/node22/solver-237843-1168351541 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237843-1168351541/sat4jCSP-bf3.jar /tmp/evaluation/237843-1168351541/unknown.xml 

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

/proc/loadavg: 2.10 2.04 2.01 4/87 7469
/proc/meminfo: memFree=1783048/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=18540 CPUtime=0
/proc/7468/stat : 7468 (runsolver) R 7466 7468 6316 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183548611 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7468/statm: 4635 279 244 17 0 2626 0

[startup+0.108117 s]
/proc/loadavg: 2.10 2.04 2.01 4/87 7469
/proc/meminfo: memFree=1783048/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=901540 CPUtime=0.08
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 3334 0 1 0 7 1 0 0 20 0 12 0 183548611 923176960 3094 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152941696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 225385 3094 1562 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540

[startup+0.51818 s]
/proc/loadavg: 2.10 2.04 2.01 4/87 7469
/proc/meminfo: memFree=1783048/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=905236 CPUtime=0.49
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 5867 0 1 0 46 3 0 0 19 0 12 0 183548611 926961664 5461 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155215244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 226309 5461 2258 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236

[startup+1.34631 s]
/proc/loadavg: 2.10 2.04 2.01 4/98 7480
/proc/meminfo: memFree=1767088/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=905524 CPUtime=1.31
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 8726 0 1 0 126 5 0 0 23 0 12 0 183548611 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4149864289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 226381 8210 2402 14 0 212818 0
[pid=7468/tid=7470] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 183548614 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 183548614 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 183548617 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 20 0 12 0 183548618 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 183548618 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=905524 CPUtime=0.24
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 262 0 0 0 24 0 0 0 16 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=905524 CPUtime=0.33
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 789 0 0 0 33 0 0 0 16 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 905524

[startup+2.98556 s]
/proc/loadavg: 2.10 2.04 2.01 3/98 7480
/proc/meminfo: memFree=1751152/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=907736 CPUtime=2.94
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 17124 0 1 0 285 9 0 0 24 0 12 0 183548611 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 226934 15145 2476 14 0 213371 0
[pid=7468/tid=7470] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 183548614 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 183548614 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 183548617 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 20 0 12 0 183548618 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 183548618 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=907736 CPUtime=0.56
/proc/7468/task/7477/stat : 7477 (java) R 7466 7468 6316 0 -1 64 753 0 0 0 56 0 0 0 16 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151169584 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=907736 CPUtime=0.81
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 2309 0 0 0 81 0 0 0 16 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 907736

[startup+6.21205 s]
/proc/loadavg: 2.10 2.04 2.01 4/98 7480
/proc/meminfo: memFree=1682480/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=908380 CPUtime=6.13
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 30934 0 1 0 599 14 0 0 25 0 12 0 183548611 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 227095 27498 2480 14 0 213532 0
[pid=7468/tid=7470] ppid=7466 vsize=908380 CPUtime=0.09
/proc/7468/task/7470/stat : 7470 (java) R 7466 7468 6316 0 -1 64 3439 0 0 0 8 1 0 0 16 0 12 0 183548614 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631186 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=908380 CPUtime=0.06
/proc/7468/task/7471/stat : 7471 (java) R 7466 7468 6316 0 -1 64 2791 0 0 0 6 0 0 0 16 0 12 0 183548614 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958789 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 183548617 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183548618 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183548618 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=908380 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=908380 CPUtime=1.01
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 1715 0 0 0 101 0 0 0 16 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=908380 CPUtime=1.17
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 2777 0 0 0 117 0 0 0 15 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 908380

[startup+12.7039 s]
/proc/loadavg: 2.09 2.04 2.01 3/98 7480
/proc/meminfo: memFree=1655096/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=908900 CPUtime=12.62
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 40774 0 1 0 1245 17 0 0 25 0 12 0 183548611 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054243249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 227225 35950 2481 14 0 213662 0
[pid=7468/tid=7470] ppid=7466 vsize=908900 CPUtime=0.46
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 9135 0 0 0 43 3 0 0 16 0 12 0 183548614 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=908900 CPUtime=0.23
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 5552 0 0 0 22 1 0 0 16 0 12 0 183548614 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 183548617 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=908900 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=908900 CPUtime=1.35
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 1966 0 0 0 135 0 0 0 15 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=908900 CPUtime=1.79
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 3892 0 0 0 178 1 0 0 15 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 908900

[startup+25.5788 s]
/proc/loadavg: 2.07 2.04 2.01 3/98 7480
/proc/meminfo: memFree=1583160/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=908900 CPUtime=25.5
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 58853 0 1 0 2526 24 0 0 25 0 12 0 183548611 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054155507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227225 53319 2485 14 0 213662 0
[pid=7468/tid=7470] ppid=7466 vsize=908900 CPUtime=0.85
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 17518 0 0 0 80 5 0 0 16 0 12 0 183548614 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=908900 CPUtime=0.65
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 15196 0 0 0 61 4 0 0 16 0 12 0 183548614 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=908900 CPUtime=0.01
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12 0 0 0 1 0 0 0 15 0 12 0 183548617 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=908900 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=908900 CPUtime=1.61
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 1984 0 0 0 161 0 0 0 16 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=908900 CPUtime=2.01
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 3903 0 0 0 200 1 0 0 16 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 908900

[startup+51.247 s]
/proc/loadavg: 2.04 2.03 2.00 4/99 7481
/proc/meminfo: memFree=1381296/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=51.1
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 108451 0 1 0 5068 42 0 0 25 0 13 0 183548611 932290560 102703 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055123306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 102703 2490 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=1.7
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 39627 0 0 0 158 12 0 0 16 0 13 0 183548614 932290560 102703 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=1.54
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 42580 0 0 0 140 14 0 0 16 0 13 0 183548614 932290560 102703 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=0.01

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

/proc/loadavg: 2.07 2.04 2.00 3/106 7559
/proc/meminfo: memFree=939384/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1600.17
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 197230 0 1 0 159931 86 0 0 25 0 13 0 183548611 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055134687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 184329 2493 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.16
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 288 28 0 0 17 0 13 0 183548614 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.07
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 279 28 0 0 17 0 13 0 183548614 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=4.88
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12059 0 0 0 483 5 0 0 16 0 13 0 183548617 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.17
Current children cumulated vsize (KiB) 910440

[startup+1663.98 s]
/proc/loadavg: 2.05 2.04 2.00 3/106 7559
/proc/meminfo: memFree=932024/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1660.15
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202817 0 1 0 165926 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055123156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.22
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 294 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.11
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 283 28 0 0 16 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.15
Current children cumulated vsize (KiB) 910440

[startup+1724.04 s]
/proc/loadavg: 2.02 2.03 2.00 3/106 7559
/proc/meminfo: memFree=931960/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1720.16
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202818 0 1 0 171927 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055122822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.24
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 296 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.13
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 285 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.16
Current children cumulated vsize (KiB) 910440

[startup+1784.11 s]
/proc/loadavg: 2.00 2.02 2.00 3/106 7559
/proc/meminfo: memFree=931896/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1780.16
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202819 0 1 0 177927 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055122822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.27
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 299 28 0 0 16 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.19
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 291 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.16
Current children cumulated vsize (KiB) 910440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.02 s]
/proc/loadavg: 2.07 2.04 2.00 3/106 7559
/proc/meminfo: memFree=931896/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1800.05
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202819 0 1 0 179916 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055122621 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.27
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 299 28 0 0 16 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.19
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 291 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 910440

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

Child status: 143
Real time (s): 1804.19
CPU time (s): 1800.22
CPU user time (s): 1799.22
CPU system time (s): 1.00585
CPU usage (%): 99.78
Max. virtual memory (cumulated for all children) (KiB): 914444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 1.00585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202839
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= 38971
involuntary context switches= 67179

runsolver used 2.30965 s user time and 5.77012 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue Jan  9 14:05:42 UTC 2007


IDJOB= 237843
IDBENCH= 6966
FILE ID= node22/237843-1168351541

PBS_JOBID= 3503662

Free space on /tmp= 66556 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_32.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237843-1168351541/sat4jCSP-bf3.jar /tmp/evaluation/237843-1168351541/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-237843-1168351541 -o ROOT/results/node22/solver-237843-1168351541 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237843-1168351541/sat4jCSP-bf3.jar /tmp/evaluation/237843-1168351541/unknown.xml

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  3ff483edd60f3e73118ce7d27f98532d

RANDOM SEED= 172546490

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.279
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.279
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:       1783464 kB
Buffers:         16444 kB
Cached:         133900 kB
SwapCached:      11224 kB
Active:         153900 kB
Inactive:        64104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783464 kB
SwapTotal:     4192956 kB
SwapFree:      4157544 kB
Dirty:            4308 kB
Writeback:           0 kB
Mapped:          86680 kB
Slab:            39248 kB
Committed_AS:  3630316 kB
PageTables:       2288 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= 66559 MiB



End job on node22 on Tue Jan  9 14:35:46 UTC 2007