Trace number 1051877

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
SAT4J CSP 2008-06-13? (TO) 1800.21 1806.56

General information on the benchmark

Namecsp/ramsey4/
normalized-ramsey-45-4.xml
MD5SUM3e8236e6ba39e4fd04a7c847b9b657af
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables990
Number of constraints14190
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension14190
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28/0.30	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.28/0.30	c This is free software under the dual EPL/GNU LGPL licenses.
0.28/0.30	c See www.sat4j.org for details.
0.28/0.30	c That software uses the Rhino library from the Mozilla project.
0.28/0.34	c version 9.9.9.token
0.28/0.34	c sun.arch.data.model	32
0.28/0.34	c java.version	1.6.0_06
0.28/0.34	c os.name	Linux
0.28/0.34	c os.version	2.6.9-22.EL.rootsmp
0.28/0.34	c os.arch	i386
0.28/0.34	c Free memory 669864272
0.28/0.34	c Max memory 672137216
0.28/0.34	c Total memory 672137216
0.28/0.35	c Number of processors 2
0.28/0.39	c c --- Begin Solver configuration ---
0.28/0.39	c Stops conflict analysis at the first Unique Implication Point
0.28/0.39	c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.28/0.39	c Learn all clauses as in MiniSAT
0.28/0.39	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.39	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.28/0.39	c Expensive reason simplification
0.28/0.39	c MiniSAT restarts strategy
0.28/0.39	c timeout=2147483s
0.28/0.39	c DB Simplification allowed=false
0.28/0.39	c --- End Solver configuration ---
0.28/0.39	c solving HOME/instance-1051877-1215054970.xml
0.28/0.39	c reading problem ... 
0.58/0.65	c reading problem named null
0.58/0.65	c reading domains done.
0.58/0.65	c reading variables done.
0.88/0.94	c reading predicates  done.
1.08/1.12	c reading constraints
8.44/8.54	c done with constraints.
8.44/8.54	c ... done. Wall clock time 8.15s.
8.44/8.54	c #vars     3960
8.44/8.54	c #constraints  58740
8.44/8.54	c constraints type 
8.44/8.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 57750
8.44/8.54	c org.sat4j.minisat.constraints.card.AtLeast => 990
569.10/571.05	c cleaning 379215 clauses out of 758502 for limit 4989.911989420737
572.08/574.00	c cleaning 189867 clauses out of 379786 for limit 16418.445658291323
573.57/575.54	c cleaning 95192 clauses out of 190418 for limit 53949.120260374795
574.37/576.34	c cleaning 47847 clauses out of 95726 for limit 176977.61640586713
574.87/576.85	c cleaning 24169 clauses out of 48382 for limit 579193.7391661872
575.27/577.26	c cleaning 12319 clauses out of 24711 for limit 1866397.820188888
575.47/577.49	c cleaning 6422 clauses out of 12891 for limit 5894260.232390502
575.66/577.67	c cleaning 3461 clauses out of 6970 for limit 1.7995898507544775E7
575.86/577.82	c cleaning 1979 clauses out of 4010 for limit 5.1635969956887916E7
575.96/577.97	c cleaning 1234 clauses out of 2530 for limit 1.3483342488873073E8
576.06/578.10	c cleaning 889 clauses out of 1796 for limit 3.132330952093601E8
576.26/578.22	c cleaning 660 clauses out of 1406 for limit 6.591891172663087E8
576.36/578.33	c cleaning 615 clauses out of 1247 for limit 1.2269286134531283E9
576.46/578.43	c cleaning 563 clauses out of 1131 for limit 2.228663593301371E9
576.56/578.54	c cleaning 519 clauses out of 1069 for limit 3.892421091277137E9
576.66/578.63	c cleaning 517 clauses out of 1051 for limit 6.535596102359083E9
576.76/578.73	c cleaning 486 clauses out of 1032 for limit 1.0954563755567438E10
576.86/578.84	c cleaning 502 clauses out of 1046 for limit 1.7823746102978577E10
576.96/578.96	c cleaning 496 clauses out of 1044 for limit 2.9450051591986645E10
577.06/579.08	c cleaning 508 clauses out of 1051 for limit 4.838862315468296E10
577.16/579.18	c cleaning 491 clauses out of 1040 for limit 8.040165590747842E10
577.26/579.28	c cleaning 522 clauses out of 1049 for limit 1.3145549093787291E11
577.36/579.38	c cleaning 494 clauses out of 1027 for limit 2.2143163309155377E11
577.46/579.49	c cleaning 501 clauses out of 1033 for limit 3.630493571849454E11
577.66/579.61	c cleaning 493 clauses out of 1032 for limit 5.992971099630264E11
577.75/579.71	c cleaning 494 clauses out of 1039 for limit 9.816625431007157E11
577.85/579.82	c cleaning 500 clauses out of 1045 for limit 1.6095977794278625E12
577.95/579.94	c cleaning 505 clauses out of 1045 for limit 2.6544420664150996E12
578.05/580.03	c cleaning 493 clauses out of 1042 for limit 4.398926780626985E12
578.15/580.13	c cleaning 519 clauses out of 1048 for limit 7.205672921630178E12
578.25/580.24	c cleaning 481 clauses out of 1030 for limit 1.2102887643475639E13
578.35/580.34	c cleaning 514 clauses out of 1048 for limit 1.959685227554625E13
578.45/580.43	c cleaning 492 clauses out of 1034 for limit 3.2755403202557348E13
578.55/580.54	c cleaning 513 clauses out of 1042 for limit 5.3603315971551984E13
578.65/580.65	c cleaning 483 clauses out of 1028 for limit 8.95133140059799E13
578.75/580.77	c cleaning 522 clauses out of 1045 for limit 1.4521796526660956E14
578.85/580.87	c cleaning 484 clauses out of 1024 for limit 2.446397813439534E14
578.94/580.98	c cleaning 518 clauses out of 1041 for limit 3.972525611133399E14
579.04/581.08	c cleaning 485 clauses out of 1022 for limit 6.6663469805907E14
579.14/581.18	c cleaning 515 clauses out of 1039 for limit 1.0835480466621871E15
579.24/581.29	c cleaning 483 clauses out of 1021 for limit 1.8129688019957698E15
579.44/581.40	c cleaning 509 clauses out of 1040 for limit 2.941085459631611E-5
579.54/581.50	c cleaning 491 clauses out of 1030 for limit 4.8924357826885094E-5
579.64/581.61	c cleaning 515 clauses out of 1039 for limit 7.998392239771907E-5
579.74/581.73	c cleaning 481 clauses out of 1023 for limit 1.3383323849040947E-4
579.84/581.84	c cleaning 511 clauses out of 1042 for limit 2.166844713884074E-4
579.94/581.96	c cleaning 511 clauses out of 1031 for limit 3.61154249704302E-4
580.14/582.11	c cleaning 496 clauses out of 1022 for limit 6.020400866940255E-4
580.24/582.20	c cleaning 485 clauses out of 1024 for limit 9.889246726680673E-4
580.34/582.32	c cleaning 495 clauses out of 1039 for limit 0.0016073242917751846
580.44/582.44	c cleaning 492 clauses out of 1044 for limit 0.00263799789233557
580.53/582.55	c cleaning 498 clauses out of 1052 for limit 0.004317328452855425
580.63/582.66	c cleaning 509 clauses out of 1055 for limit 0.007106712868336184
580.73/582.78	c cleaning 499 clauses out of 1045 for limit 0.011820240513123132
580.83/582.89	c cleaning 500 clauses out of 1046 for limit 0.01947452198342136
581.03/583.01	c cleaning 507 clauses out of 1046 for limit 0.032116092005602864
581.13/583.12	c cleaning 499 clauses out of 1039 for limit 0.053320561895279284
581.23/583.23	c cleaning 496 clauses out of 1040 for limit 0.08784818895125585
581.33/583.35	c cleaning 499 clauses out of 1044 for limit 0.14431834514284306
581.43/583.46	c cleaning 499 clauses out of 1046 for limit 0.23778297326226877
581.53/583.58	c cleaning 497 clauses out of 1046 for limit 0.3917437970135933
1134.79/1138.89	c cleaning 280975 clauses out of 562049 for limit 6.936186221459525
1137.69/1141.79	c cleaning 140719 clauses out of 281574 for limit 22.832752051487148
1139.57/1143.62	c cleaning 70673 clauses out of 141355 for limit 75.00591666140008
1140.67/1144.71	c cleaning 35482 clauses out of 71182 for limit 245.6362161433106
1141.57/1145.66	c cleaning 17975 clauses out of 36201 for limit 797.3195560902946
1142.26/1146.40	c cleaning 9180 clauses out of 18730 for limit 2551.579712727714
1142.56/1146.69	c cleaning 4847 clauses out of 10045 for limit 7806.930351913459
1142.86/1146.92	c cleaning 2673 clauses out of 5698 for limit 22696.75073570599
1143.06/1147.13	c cleaning 1593 clauses out of 3525 for limit 60503.834394443154
1143.16/1147.27	c cleaning 1044 clauses out of 2433 for limit 144707.25651069998
1143.36/1147.40	c cleaning 773 clauses out of 1888 for limit 307221.64063677273
1143.46/1147.54	c cleaning 619 clauses out of 1615 for limit 592293.7560839874
1143.56/1147.64	c cleaning 721 clauses out of 1496 for limit 1054469.3834686626
1143.66/1147.73	c cleaning 607 clauses out of 1275 for limit 2040380.9978701037
1143.76/1147.80	c cleaning 375 clauses out of 1169 for limit 3673646.32300155
1800.03/1806.41	c starts		: 23
1800.03/1806.41	c conflicts		: 1744939
1800.03/1806.41	c decisions		: 2439269
1800.03/1806.41	c propagations		: 142842770
1800.03/1806.41	c inspects		: 3681554096
1800.03/1806.41	c learnt literals	: 0
1800.03/1806.41	c learnt binary clauses	: 0
1800.03/1806.41	c learnt ternary clauses	: 0
1800.03/1806.41	c learnt clauses	: 1744940
1800.03/1806.41	c ignored clauses	: 0
1800.03/1806.41	c root simplifications	: 0
1800.03/1806.41	c removed literals (reason simplification)	: 39741429
1800.03/1806.41	c reason swapping (by a shorter reason)	: 0
1800.03/1806.41	c Calls to reduceDB	: 76
1800.03/1806.41	c speed (assignments/second)	: 79451.4712475151
1800.03/1806.41	c non guided choices	8085
1800.03/1806.41	s UNKNOWN
1800.03/1806.41	c Total wall clock time (in seconds) : 1806.021

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051877-1215054970/watcher-1051877-1215054970 -o /tmp/evaluation-result-1051877-1215054970/solver-1051877-1215054970 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1051877-1215054970.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.01 2.00 4/75 16827
/proc/meminfo: memFree=1779280/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=18572 CPUtime=0
/proc/16827/stat : 16827 (runsolver) R 16825 16827 12734 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 617752647 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 254613712167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16827/statm: 4643 292 257 25 0 2626 0

[startup+0.00933404 s]
/proc/loadavg: 2.06 2.01 2.00 4/75 16827
/proc/meminfo: memFree=1779280/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=272 CPUtime=0
/proc/16827/stat : 16827 (java6) D 16825 16827 12734 0 -1 0 53 0 0 0 0 0 0 0 20 0 1 0 617752647 278528 37 996147200 134512640 134550740 4294956192 18446744073709551615 1606436 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0
/proc/16827/statm: 451 150 106 9 0 93 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.10228 s]
/proc/loadavg: 2.06 2.01 2.00 4/75 16827
/proc/meminfo: memFree=1779280/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=804612 CPUtime=0.08
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 3006 0 1 0 7 1 0 0 21 0 12 0 617752647 823922688 2739 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 201153 2739 1048 9 0 198522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 804612

[startup+0.301302 s]
/proc/loadavg: 2.06 2.01 2.00 4/75 16827
/proc/meminfo: memFree=1779280/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=808392 CPUtime=0.28
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 5026 0 1 0 25 3 0 0 21 0 12 0 617752647 827793408 4354 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 202098 4354 1306 9 0 199467 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 808392

[startup+0.701348 s]
/proc/loadavg: 2.06 2.01 2.00 4/75 16827
/proc/meminfo: memFree=1779280/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=808420 CPUtime=0.68
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 6339 0 1 0 63 5 0 0 21 0 12 0 617752647 827822080 5520 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 202105 5520 1336 9 0 199467 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 808420

[startup+1.50144 s]
/proc/loadavg: 2.06 2.01 2.00 3/87 16839
/proc/meminfo: memFree=1759280/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=814972 CPUtime=1.47
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 10415 0 1 0 141 6 0 0 21 0 12 0 617752647 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 203743 8272 1356 9 0 201105 0
[pid=16827/tid=16829] ppid=16825 vsize=814972 CPUtime=0.84
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 5050 0 1 0 80 4 0 0 25 0 12 0 617752648 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16830] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 617752649 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16831] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 617752649 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16832] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 16 0 12 0 617752651 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16833] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 8 0 0 0 0 0 0 0 25 0 12 0 617752651 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 617752651 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 617752655 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=814972 CPUtime=0.39
/proc/16827/task/16836/stat : 16836 (java) R 16825 16827 12734 0 -1 64 3437 0 0 0 38 1 0 0 17 0 12 0 617752655 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 106225306 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=814972 CPUtime=0.22
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 1167 0 0 0 22 0 0 0 16 0 12 0 617752656 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 617752656 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=814972 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 617752656 834531328 8272 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 814972

[startup+3.10262 s]
/proc/loadavg: 2.06 2.01 2.00 4/87 16839
/proc/meminfo: memFree=1748400/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=813864 CPUtime=3.07
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 14325 0 1 0 298 9 0 0 21 0 12 0 617752647 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 203466 11108 1370 9 0 200828 0
[pid=16827/tid=16829] ppid=16825 vsize=813864 CPUtime=1.49
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 7948 0 1 0 143 6 0 0 25 0 12 0 617752648 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 104293319 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16830] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 617752649 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16831] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 617752649 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16832] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 16 0 12 0 617752651 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16833] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 8 0 0 0 0 0 0 0 25 0 12 0 617752651 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 617752651 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 617752655 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=813864 CPUtime=0.86
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 3831 0 0 0 85 1 0 0 16 0 12 0 617752655 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=813864 CPUtime=0.68
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 1785 0 0 0 68 0 0 0 17 0 12 0 617752656 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 617752656 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=813864 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 617752656 833396736 11108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 813864

[startup+6.30585 s]
/proc/loadavg: 2.13 2.03 2.01 3/87 16839
/proc/meminfo: memFree=1698672/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=813744 CPUtime=6.25
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 25561 0 1 0 610 15 0 0 21 0 12 0 617752647 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 203436 21314 1393 9 0 200798 0
[pid=16827/tid=16829] ppid=16825 vsize=813744 CPUtime=3.09
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 17323 0 1 0 298 11 0 0 25 0 12 0 617752648 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16830] ppid=16825 vsize=813744 CPUtime=0
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 263 0 0 0 0 0 0 0 17 0 12 0 617752649 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16831] ppid=16825 vsize=813744 CPUtime=0.01
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 454 0 0 0 1 0 0 0 17 0 12 0 617752649 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16832] ppid=16825 vsize=813744 CPUtime=0
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 617752651 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16833] ppid=16825 vsize=813744 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 617752651 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=813744 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 617752651 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=813744 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 617752655 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=813744 CPUtime=1.82
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 4495 0 0 0 181 1 0 0 15 0 12 0 617752655 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=813744 CPUtime=1.28
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 2236 0 0 0 127 1 0 0 15 0 12 0 617752656 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=813744 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 617752656 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=813744 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 617752656 833273856 21314 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 813744

[startup+12.7027 s]
/proc/loadavg: 2.12 2.03 2.01 5/88 16840
/proc/meminfo: memFree=1684392/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=814004 CPUtime=12.62
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 29813 0 1 0 1244 18 0 0 21 0 13 0 617752647 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 203501 25544 1402 9 0 200863 0
[pid=16827/tid=16829] ppid=16825 vsize=814004 CPUtime=8.52
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 17343 0 1 0 840 12 0 0 25 0 13 0 617752648 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4110432626 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16830] ppid=16825 vsize=814004 CPUtime=0.09
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 2128 0 0 0 9 0 0 0 17 0 13 0 617752649 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16831] ppid=16825 vsize=814004 CPUtime=0.07
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 2673 0 0 0 7 0 0 0 17 0 13 0 617752649 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16832] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 110 0 0 0 0 0 0 0 16 0 13 0 617752651 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16833] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 617752651 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 617752651 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 617752655 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=814004 CPUtime=2.21
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 4520 0 0 0 220 1 0 0 16 0 13 0 617752655 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=814004 CPUtime=1.66
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 2274 0 0 0 165 1 0 0 16 0 13 0 617752656 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 617752656 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 617752656 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16840] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16840/stat : 16840 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 617753502 833540096 25544 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 814004

[startup+25.5011 s]
/proc/loadavg: 2.09 2.03 2.01 3/88 16840
/proc/meminfo: memFree=1681320/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=814004 CPUtime=25.35
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 29814 0 1 0 2517 18 0 0 21 0 13 0 617752647 833540096 25545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 203501 25545 1402 9 0 200863 0
[pid=16827/tid=16829] ppid=16825 vsize=814004 CPUtime=21.23
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 17343 0 1 0 2111 12 0 0 25 0 13 0 617752648 833540096 25545 996147200 134512640 134550740 4294956032 18446744073709551615 4110496566 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16830] ppid=16825 vsize=814004 CPUtime=0.09
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 2128 0 0 0 9 0 0 0 17 0 13 0 617752649 833540096 25545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16831] ppid=16825 vsize=814004 CPUtime=0.07
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 2673 0 0 0 7 0 0 0 17 0 13 0 617752649 833540096 25545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16832] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 110 0 0 0 0 0 0 0 16 0 13 0 617752651 833540096 25545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16833] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 617752651 833540096 25545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=814004 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 617752651 833540096 25545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=16827/tid=16832] ppid=16825 vsize=816572 CPUtime=3.34
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 6685 0 0 0 330 4 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16833] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=816572 CPUtime=2.35
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 4526 0 0 0 234 1 0 0 17 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=816572 CPUtime=1.77
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 2275 0 0 0 176 1 0 0 16 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16840] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16840/stat : 16840 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 617753502 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.59
Current children cumulated vsize (KiB) 816572

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/86 16879
/proc/meminfo: memFree=1094584/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=816572 CPUtime=1656.41
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 193690 0 1 0 165551 90 0 0 21 0 13 0 617752647 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 204143 169021 1406 9 0 201505 0
[pid=16827/tid=16829] ppid=16825 vsize=816572 CPUtime=1638.92
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 17400 0 1 0 163878 14 0 0 25 0 13 0 617752648 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4110409056 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16830] ppid=16825 vsize=816572 CPUtime=4.95
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 80133 0 0 0 461 34 0 0 16 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16831] ppid=16825 vsize=816572 CPUtime=5.02
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 81906 0 0 0 468 34 0 0 16 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16832] ppid=16825 vsize=816572 CPUtime=3.34
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 6685 0 0 0 330 4 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16833] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=816572 CPUtime=2.35
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 4526 0 0 0 234 1 0 0 17 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=816572 CPUtime=1.77
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 2275 0 0 0 176 1 0 0 16 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16840] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16840/stat : 16840 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 617753502 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.41
Current children cumulated vsize (KiB) 816572

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/86 16879
/proc/meminfo: memFree=1094520/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=816572 CPUtime=1716.18
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 193690 0 1 0 171528 90 0 0 21 0 13 0 617752647 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 204143 169021 1406 9 0 201505 0
[pid=16827/tid=16829] ppid=16825 vsize=816572 CPUtime=1698.69
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 17400 0 1 0 169855 14 0 0 25 0 13 0 617752648 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4110395263 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16830] ppid=16825 vsize=816572 CPUtime=4.95
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 80133 0 0 0 461 34 0 0 16 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16831] ppid=16825 vsize=816572 CPUtime=5.02
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 81906 0 0 0 468 34 0 0 16 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16832] ppid=16825 vsize=816572 CPUtime=3.34
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 6685 0 0 0 330 4 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16833] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=816572 CPUtime=2.35
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 4526 0 0 0 234 1 0 0 17 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=816572 CPUtime=1.77
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 2275 0 0 0 176 1 0 0 16 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16840] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16840/stat : 16840 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 617753502 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.18
Current children cumulated vsize (KiB) 816572

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 16879
/proc/meminfo: memFree=1094456/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=816572 CPUtime=1776.02
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 193691 0 1 0 177512 90 0 0 21 0 13 0 617752647 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 204143 169021 1406 9 0 201505 0
[pid=16827/tid=16829] ppid=16825 vsize=816572 CPUtime=1758.32
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 17401 0 1 0 175818 14 0 0 25 0 13 0 617752648 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4110407718 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16830] ppid=16825 vsize=816572 CPUtime=5.05
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 80133 0 0 0 471 34 0 0 17 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16831] ppid=16825 vsize=816572 CPUtime=5.13
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 81906 0 0 0 479 34 0 0 18 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16832] ppid=16825 vsize=816572 CPUtime=3.34
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 6685 0 0 0 330 4 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16833] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=816572 CPUtime=2.35
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 4526 0 0 0 234 1 0 0 17 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=816572 CPUtime=1.77
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 2275 0 0 0 176 1 0 0 16 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16840] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16840/stat : 16840 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 617753502 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.02
Current children cumulated vsize (KiB) 816572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 16879
/proc/meminfo: memFree=1094520/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=816572 CPUtime=1800.03
/proc/16827/stat : 16827 (java) S 16825 16827 12734 0 -1 0 193691 0 1 0 179913 90 0 0 21 0 13 0 617752647 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16827/statm: 204143 169021 1406 9 0 201505 0
[pid=16827/tid=16829] ppid=16825 vsize=816572 CPUtime=1782.33
/proc/16827/task/16829/stat : 16829 (java) R 16825 16827 12734 0 -1 64 17401 0 1 0 178219 14 0 0 25 0 13 0 617752648 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4110407962 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16830] ppid=16825 vsize=816572 CPUtime=5.05
/proc/16827/task/16830/stat : 16830 (java) S 16825 16827 12734 0 -1 64 80133 0 0 0 471 34 0 0 17 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16831] ppid=16825 vsize=816572 CPUtime=5.13
/proc/16827/task/16831/stat : 16831 (java) S 16825 16827 12734 0 -1 64 81906 0 0 0 479 34 0 0 18 0 13 0 617752649 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16832] ppid=16825 vsize=816572 CPUtime=3.34
/proc/16827/task/16832/stat : 16832 (java) S 16825 16827 12734 0 -1 64 6685 0 0 0 330 4 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16827/tid=16833] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16833/stat : 16833 (java) S 16825 16827 12734 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16834] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16834/stat : 16834 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 617752651 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16835] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16835/stat : 16835 (java) S 16825 16827 12734 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16836] ppid=16825 vsize=816572 CPUtime=2.35
/proc/16827/task/16836/stat : 16836 (java) S 16825 16827 12734 0 -1 64 4526 0 0 0 234 1 0 0 17 0 13 0 617752655 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16837] ppid=16825 vsize=816572 CPUtime=1.77
/proc/16827/task/16837/stat : 16837 (java) S 16825 16827 12734 0 -1 64 2275 0 0 0 176 1 0 0 16 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16838] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16838/stat : 16838 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16839] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16839/stat : 16839 (java) S 16825 16827 12734 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 617752656 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16827/tid=16840] ppid=16825 vsize=816572 CPUtime=0
/proc/16827/task/16840/stat : 16840 (java) S 16825 16827 12734 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 617753502 836169728 169021 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 816572

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

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

[startup+1806.51 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 16879
/proc/meminfo: memFree=1094520/2055920 swapFree=4179400/4192956
[pid=16827] ppid=16825 vsize=0 CPUtime=1800.15
/proc/16827/stat : 16827 (java) Z 16825 16827 12734 0 -1 1036 193708 0 1 0 179919 96 0 0 16 0 2 0 617752647 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16827/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1806.56
CPU time (s): 1800.21
CPU user time (s): 1799.2
CPU system time (s): 1.00985
CPU usage (%): 99.6482
Max. virtual memory (cumulated for all children) (KiB): 820576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 1.00985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193708
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= 38491
involuntary context switches= 43821

runsolver used 2.22766 second user time and 6.04908 second system time

The end

Launcher Data (download as text)

Begin job on node87 at 2008-07-03 05:16:10
IDJOB=1051877
IDBENCH=55955
IDSOLVER=344
FILE ID=node87/1051877-1215054970
PBS_JOBID= 7875004
Free space on /tmp= 66528 MiB

SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/ramsey4/normalized-ramsey-45-4.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051877-1215054970/watcher-1051877-1215054970 -o /tmp/evaluation-result-1051877-1215054970/solver-1051877-1215054970 -C 1800 -W 2200 -M 900 --output-limit 1,15  java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1051877-1215054970.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3e8236e6ba39e4fd04a7c847b9b657af
RANDOM SEED=312658798

node87.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.232
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.232
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:       1779760 kB
Buffers:         32324 kB
Cached:         152944 kB
SwapCached:       7648 kB
Active:         123804 kB
Inactive:        81756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779760 kB
SwapTotal:     4192956 kB
SwapFree:      4179400 kB
Dirty:            3204 kB
Writeback:           0 kB
Mapped:          27136 kB
Slab:            55780 kB
Committed_AS:  1489632 kB
PageTables:       1932 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264992 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66528 MiB
End job on node87 at 2008-07-03 05:46:18