Trace number 238972

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.15 1809.98

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-m-1_ext.xml
MD5SUMa1605d2afccf6dc05f53789b17db85a0
Bench Category2-ARY-EXT (binary constraints in extension)
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 variables208
Number of constraints4218
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4218
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.17	c version CSP COMPETITION BUGFIX 3
0.17	c sun.arch.data.model	32
0.17	c java.version	1.5.0_10
0.17	c os.name	Linux
0.17	c os.version	2.6.9-22.EL.rootsmp
0.17	c os.arch	i386
0.17	c Free memory 722620888
0.17	c Max memory 723845120
0.17	c Total memory 723845120
0.17	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/238972-1168362377/unknown.xml
0.25	c reading problem ... 
0.51	c reading problem named ?
0.51	c reading domains done.
0.51	c reading variables
c reading variables (208) done.
0.79	c reading relations
c reading relations (9) done.
0.98	c reading constraints
c reading constraints done.
3.53	c ... done. Wall clock time 3.281s.
3.53	c CPU time (experimental) 1.67s.
3.53	c #vars     7334
3.53	c #constraints  5530
485.61	c cleaning 122956 clauses out of 245957 for limit 31.6159506278714
486.92	c cleaning 61740 clauses out of 123502 for limit 103.93979119801972
487.72	c cleaning 31111 clauses out of 62259 for limit 339.0049515311238
488.48	c cleaning 15799 clauses out of 31648 for limit 1099.810342618102
488.95	c cleaning 8158 clauses out of 16349 for limit 3510.983290452849
489.49	c cleaning 4295 clauses out of 8691 for limit 10891.961397669927
489.82	c cleaning 2405 clauses out of 4896 for limit 31885.286327812686
489.98	c cleaning 1449 clauses out of 2991 for limit 86073.84512849212
490.18	c cleaning 962 clauses out of 2046 for limit 208341.56501121493
490.34	c cleaning 726 clauses out of 1580 for limit 443141.3786472208
490.49	c cleaning 613 clauses out of 1354 for limit 852779.2296425633
490.62	c cleaning 598 clauses out of 1241 for limit 1534402.8057456913
490.74	c cleaning 565 clauses out of 1143 for limit 2747393.2194254603
490.86	c cleaning 511 clauses out of 1080 for limit 4804721.369119246
491.00	c cleaning 523 clauses out of 1070 for limit 8005686.589343661
1007.90	c cleaning 87262 clauses out of 174544 for limit 1.9707093684469992
1010.09	c cleaning 43885 clauses out of 87782 for limit 6.462163189866234
1011.13	c cleaning 22188 clauses out of 44397 for limit 21.071024626899263
1012.28	c cleaning 11348 clauses out of 22711 for limit 68.06564006999311
1013.05	c cleaning 5919 clauses out of 11861 for limit 214.50121065175455
1013.23	c cleaning 3206 clauses out of 6442 for limit 651.3077113033874
1013.41	c cleaning 1849 clauses out of 3737 for limit 1853.4216918102536
1013.50	c cleaning 1185 clauses out of 2389 for limit 4785.987813395088
1013.61	c cleaning 837 clauses out of 1702 for limit 11056.43318778485
1013.70	c cleaning 669 clauses out of 1365 for limit 22735.150700047845
1675.95	c cleaning 82580 clauses out of 165197 for limit 5.642215505953299E-7
1678.03	c cleaning 41552 clauses out of 83116 for limit 1.8475175270991412E-6
1678.80	c cleaning 21022 clauses out of 42065 for limit 6.026188427379932E-6
1679.38	c cleaning 10756 clauses out of 21544 for limit 1.942350755005758E-5
1679.70	c cleaning 5639 clauses out of 11287 for limit 6.107969353466414E-5
1680.00	c cleaning 3063 clauses out of 6147 for limit 1.8477088394844234E-4
1680.37	c cleaning 1767 clauses out of 3584 for limit 5.226183273392259E-4
1680.62	c cleaning 1131 clauses out of 2318 for limit 0.0013339194459767929
1680.85	c cleaning 819 clauses out of 1687 for limit 0.0030226220056269537
1681.02	c cleaning 657 clauses out of 1368 for limit 0.006147077832094022
1681.13	c cleaning 581 clauses out of 1212 for limit 0.01145361520192548
1681.27	c cleaning 535 clauses out of 1129 for limit 0.02023662713346396
1685.55	c cleaning 4024 clauses out of 8097 for limit 5.13629279578802
1685.82	c cleaning 2260 clauses out of 4571 for limit 14.974404287869142
1686.08	c cleaning 1379 clauses out of 2810 for limit 40.1306164396905
1689.02	c cleaning 3177 clauses out of 6431 for limit 2608.930508133604
1689.25	c cleaning 1857 clauses out of 3754 for limit 7370.596551481606
1689.37	c cleaning 1173 clauses out of 2397 for limit 19036.397330844215
1689.52	c cleaning 835 clauses out of 1725 for limit 43667.07421847297
1689.65	c cleaning 670 clauses out of 1389 for limit 89343.36862662809
1689.77	c cleaning 584 clauses out of 1219 for limit 167886.87692632023
1689.90	c cleaning 542 clauses out of 1135 for limit 297358.5849681609
1689.99	c cleaning 521 clauses out of 1093 for limit 509227.75682906044
1690.13	c cleaning 508 clauses out of 1073 for limit 856294.0114857157
1690.25	c cleaning 502 clauses out of 1065 for limit 1422751.0276904367
1690.37	c cleaning 486 clauses out of 1062 for limit 2350581.8273721505
1690.49	c cleaning 538 clauses out of 1076 for limit 3825987.146503419
1690.59	c cleaning 515 clauses out of 1038 for limit 6540550.624588276
1809.86	c starts		: 21
1809.86	c conflicts		: 688656
1809.86	c decisions		: 1055875
1809.86	c propagations		: 45186466
1809.86	c inspects		: 2399967309
1809.86	c learnt literals	: 1
1809.86	c learnt binary clauses	: 0
1809.86	c learnt ternary clauses	: 19
1809.86	c learnt clauses	: 688611
1809.86	c root simplifications	: 0
1809.87	c removed literals (reason simplification)	: 0
1809.87	c reason swapping (by a shorter reason)	: 0
1809.87	c Calls to reduceDB	: 53
1809.87	c speed (decisions/second)	: 584.55129269778
1809.87	c non guided choices	17404
1809.87	s UNKNOWN
1809.87	c Total wall clock time (in seconds) : 1809.612
1809.87	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-238972-1168362377 -o ROOT/results/node22/solver-238972-1168362377 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238972-1168362377/sat4jCSP-bf3.jar /tmp/evaluation/238972-1168362377/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: 0.92 0.99 1.00 4/82 10585
/proc/meminfo: memFree=1789560/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=168 CPUtime=0
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 184632100 172032 23 18446744073709551615 134512640 134570532 4294956656 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 0 0 0
/proc/10584/statm: 42 23 18 14 0 2 0

[startup+0.1053 s]
/proc/loadavg: 0.92 0.99 1.00 4/82 10585
/proc/meminfo: memFree=1789560/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=897120 CPUtime=0.07
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 3211 0 1 0 6 1 0 0 17 0 6 0 184632100 918650880 2971 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/10584/statm: 224280 2972 1512 14 0 211300 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 897120

[startup+0.513362 s]
/proc/loadavg: 0.92 0.99 1.00 4/82 10585
/proc/meminfo: memFree=1789560/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=905236 CPUtime=0.48
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 5953 0 1 0 46 2 0 0 23 0 12 0 184632100 926961664 5547 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155215368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226309 5547 2287 14 0 212746 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 905236

[startup+1.33649 s]
/proc/loadavg: 0.92 0.99 1.00 5/94 11111
/proc/meminfo: memFree=1767320/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=905236 CPUtime=1.28
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 7300 0 1 0 125 3 0 0 19 0 12 0 184632100 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226309 6800 2325 14 0 212746 0
[pid=10584/tid=10586] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 184632103 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10587] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 184632103 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 184632106 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 184632107 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10590] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184632107 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10594] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 184632110 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 184632110 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=905236 CPUtime=0.31
/proc/10584/task/10596/stat : 10596 (java) R 10582 10584 10487 0 -1 64 337 0 0 0 31 0 0 0 16 0 12 0 184632111 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152646942 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=905236 CPUtime=0.26
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 699 0 0 0 26 0 0 0 16 0 12 0 184632111 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 184632111 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=905236 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 184632111 926961664 6800 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 905236

[startup+2.97974 s]
/proc/loadavg: 0.92 0.99 1.00 4/98 11257
/proc/meminfo: memFree=1757880/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907180 CPUtime=3.07
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 11783 0 1 0 303 4 0 0 21 0 12 0 184632100 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226795 9911 2335 14 0 213232 0
[pid=10584/tid=10586] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 184632103 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 184632103 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 184632106 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 184632107 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184632107 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 184632110 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 184632110 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907180 CPUtime=0.8
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 824 0 0 0 80 0 0 0 16 0 12 0 184632111 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907180 CPUtime=0.87
/proc/10584/task/10597/stat : 10597 (java) R 10582 10584 10487 0 -1 64 2065 0 0 0 87 0 0 0 16 0 12 0 184632111 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152642666 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 184632111 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907180 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 184632111 928952320 9911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 907180

[startup+6.19124 s]
/proc/loadavg: 1.01 1.01 1.00 3/99 11258
/proc/meminfo: memFree=1730096/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=6.25
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 16917 0 1 0 617 8 0 0 25 0 13 0 184632100 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054665550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 14762 2350 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632103 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 184632103 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184632106 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 184632107 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 184632107 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 184632110 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.07
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 842 0 0 0 107 0 0 0 16 0 13 0 184632111 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.42
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2407 0 0 0 141 1 0 0 15 0 13 0 184632111 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 14762 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 907352

[startup+12.6882 s]
/proc/loadavg: 1.09 1.03 1.01 3/99 11258
/proc/meminfo: memFree=1662392/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=12.7
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 33262 0 1 0 1255 15 0 0 25 0 13 0 184632100 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054665613 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 31104 2358 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=0.04
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 3130 0 0 0 3 1 0 0 17 0 13 0 184632103 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=0.05
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 7191 0 0 0 3 2 0 0 17 0 13 0 184632103 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 184632106 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 184632110 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.07
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 842 0 0 0 107 0 0 0 16 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.42
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2408 0 0 0 141 1 0 0 16 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 907352

[startup+25.5762 s]
/proc/loadavg: 1.29 1.07 1.02 3/99 11258
/proc/meminfo: memFree=1662520/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=25.47
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 33262 0 1 0 2532 15 0 0 25 0 13 0 184632100 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054606708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 31104 2358 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=0.04
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 3130 0 0 0 3 1 0 0 17 0 13 0 184632103 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=0.05
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 7191 0 0 0 3 2 0 0 17 0 13 0 184632103 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 184632106 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 184632110 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.07
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 842 0 0 0 107 0 0 0 16 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.42
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2408 0 0 0 141 1 0 0 16 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 31104 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 907352

[startup+51.2572 s]
/proc/loadavg: 1.53 1.15 1.04 3/99 11258
/proc/meminfo: memFree=1591992/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=50.95
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 53608 0 1 0 5071 24 0 0 25 0 13 0 184632100 929128448 48765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054665571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/loadavg: 2.01 2.00 1.81 3/99 11260
/proc/meminfo: memFree=1071672/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=1594.49
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 196341 0 1 0 159361 88 0 0 25 0 13 0 184632100 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054665659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 178342 2365 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=2.85
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 76237 0 0 0 255 30 0 0 17 0 13 0 184632103 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=2.95
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 90904 0 0 0 259 36 0 0 17 0 13 0 184632103 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0.64
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 6203 0 0 0 62 2 0 0 16 0 13 0 184632106 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184632110 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.16
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 844 0 0 0 116 0 0 0 16 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.56
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2415 0 0 0 155 1 0 0 17 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.49
Current children cumulated vsize (KiB) 907352

[startup+1663.23 s]
/proc/loadavg: 2.00 2.00 1.82 3/99 11260
/proc/meminfo: memFree=1071672/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=1654.18
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 196343 0 1 0 165330 88 0 0 25 0 13 0 184632100 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054627354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 178342 2365 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=2.95
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 76237 0 0 0 265 30 0 0 17 0 13 0 184632103 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=3.04
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 90904 0 0 0 268 36 0 0 17 0 13 0 184632103 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0.64
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 6203 0 0 0 62 2 0 0 16 0 13 0 184632106 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184632110 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.16
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 844 0 0 0 116 0 0 0 16 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.56
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2415 0 0 0 155 1 0 0 17 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 178342 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.18
Current children cumulated vsize (KiB) 907352

[startup+1723.24 s]
/proc/loadavg: 2.00 2.00 1.83 3/99 11260
/proc/meminfo: memFree=1071608/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=1713.84
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 196352 0 1 0 171296 88 0 0 25 0 13 0 184632100 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054665550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 178289 2367 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=3.1
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 76237 0 0 0 280 30 0 0 17 0 13 0 184632103 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=3.15
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 90904 0 0 0 279 36 0 0 17 0 13 0 184632103 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0.81
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 6203 0 0 0 79 2 0 0 16 0 13 0 184632106 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184632110 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.16
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 844 0 0 0 116 0 0 0 16 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.56
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2415 0 0 0 155 1 0 0 17 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.84
Current children cumulated vsize (KiB) 907352

[startup+1783.25 s]
/proc/loadavg: 2.08 2.02 1.84 3/99 11260
/proc/meminfo: memFree=1071544/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=1773.53
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 196354 0 1 0 177264 89 0 0 25 0 13 0 184632100 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054665909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 178289 2367 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=3.18
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 76237 0 0 0 288 30 0 0 17 0 13 0 184632103 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=3.24
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 90904 0 0 0 288 36 0 0 17 0 13 0 184632103 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0.81
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 6203 0 0 0 79 2 0 0 16 0 13 0 184632106 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184632110 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.16
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 844 0 0 0 116 0 0 0 16 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.56
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2415 0 0 0 155 1 0 0 17 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.53
Current children cumulated vsize (KiB) 907352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.85 s]
/proc/loadavg: 2.05 2.01 1.84 3/99 11260
/proc/meminfo: memFree=1071544/2055920 swapFree=4157544/4192956
[pid=10584] ppid=10582 vsize=907352 CPUtime=1800.02
/proc/10584/stat : 10584 (java) R 10582 10584 10487 0 -1 0 196356 0 1 0 179913 89 0 0 25 0 13 0 184632100 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054665297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10584/statm: 226838 178289 2367 14 0 213275 0
[pid=10584/tid=10586] ppid=10582 vsize=907352 CPUtime=3.3
/proc/10584/task/10586/stat : 10586 (java) S 10582 10584 10487 0 -1 64 76237 0 0 0 300 30 0 0 17 0 13 0 184632103 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10587] ppid=10582 vsize=907352 CPUtime=3.33
/proc/10584/task/10587/stat : 10587 (java) S 10582 10584 10487 0 -1 64 90904 0 0 0 297 36 0 0 17 0 13 0 184632103 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10588] ppid=10582 vsize=907352 CPUtime=0.81
/proc/10584/task/10588/stat : 10588 (java) S 10582 10584 10487 0 -1 64 6203 0 0 0 79 2 0 0 16 0 13 0 184632106 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10589] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10589/stat : 10589 (java) S 10582 10584 10487 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10590] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10590/stat : 10590 (java) S 10582 10584 10487 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184632107 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10594] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10594/stat : 10594 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184632110 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10595] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10595/stat : 10595 (java) S 10582 10584 10487 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184632110 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10596] ppid=10582 vsize=907352 CPUtime=1.16
/proc/10584/task/10596/stat : 10596 (java) S 10582 10584 10487 0 -1 64 844 0 0 0 116 0 0 0 16 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10597] ppid=10582 vsize=907352 CPUtime=1.56
/proc/10584/task/10597/stat : 10597 (java) S 10582 10584 10487 0 -1 64 2415 0 0 0 155 1 0 0 17 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10598] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10598/stat : 10598 (java) S 10582 10584 10487 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=10599] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/10599/stat : 10599 (java) S 10582 10584 10487 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184632111 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10584/tid=11258] ppid=10582 vsize=907352 CPUtime=0
/proc/10584/task/11258/stat : 11258 (java) S 10582 10584 10487 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184632457 929128448 178289 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 907352

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

Child status: 143
Real time (s): 1809.98
CPU time (s): 1800.15
CPU user time (s): 1799.15
CPU system time (s): 0.998848
CPU usage (%): 99.4566
Max. virtual memory (cumulated for all children) (KiB): 908356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.998848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196374
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= 38391
involuntary context switches= 67413

runsolver used 2.18467 s user time and 5.83011 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue Jan  9 17:06:17 UTC 2007


IDJOB= 238972
IDBENCH= 7030
FILE ID= node22/238972-1168362377

PBS_JOBID= 3504015

Free space on /tmp= 66557 MiB

BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-m-1_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238972-1168362377/sat4jCSP-bf3.jar /tmp/evaluation/238972-1168362377/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-238972-1168362377 -o ROOT/results/node22/solver-238972-1168362377 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238972-1168362377/sat4jCSP-bf3.jar /tmp/evaluation/238972-1168362377/unknown.xml

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  a1605d2afccf6dc05f53789b17db85a0

RANDOM SEED= 493319848

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:       1790488 kB
Buffers:         28056 kB
Cached:         142824 kB
SwapCached:      11224 kB
Active:         147152 kB
Inactive:        64172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790488 kB
SwapTotal:     4192956 kB
SwapFree:      4157544 kB
Dirty:            8348 kB
Writeback:           0 kB
Mapped:          58188 kB
Slab:            39248 kB
Committed_AS:  3546712 kB
PageTables:       2152 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= 66550 MiB



End job on node22 on Tue Jan  9 17:36:27 UTC 2007