Trace number 242290

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.17 1804.09

General information on the benchmark

Namedimacs/dubois/
dubois-100_ext.xml
MD5SUMa9dcb372a45d2dd0d0fa5883b83c178b
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.119981
SatisfiableNO
(Un)Satisfiability was proved
Number of variables300
Number of constraints200
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension200
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.26	c --- Begin Solver configuration ---
0.26	c Stops conflict analysis at the first Unique Implication Point
0.26	c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.26	c Learn all clauses as in MiniSAT
0.26	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26	c VSIDS like heuristics from MiniSAT using a heap
0.26	c No reason simplification
0.26	c --- End Solver configuration ---
0.26	c solving /tmp/evaluation/242290-1168379391/unknown.xml
0.26	c reading problem ... 
0.54	c reading problem named ?
0.54	c reading domains done.
0.54	c reading variables
c reading variables (300) done.
0.77	c reading relations
c reading relations (2) done.
0.77	c reading constraints
c reading constraints done.
1.03	c ... done. Wall clock time 0.767s.
1.03	c CPU time (experimental) 0.58s.
1.03	c #vars     600
1.03	c #constraints  1100
849.39	c cleaning 651740 clauses out of 1303497 for limit 1.8681937202532308
1005.95	c cleaning 326122 clauses out of 652257 for limit 6.156998988769575
1055.51	c cleaning 163312 clauses out of 326635 for limit 20.275940072107264
1069.10	c cleaning 81902 clauses out of 163823 for limit 66.66912116054235
1071.86	c cleaning 41205 clauses out of 82421 for limit 218.53329423513725
1072.66	c cleaning 20850 clauses out of 41716 for limit 712.0470969578724
1073.21	c cleaning 10675 clauses out of 21366 for limit 2292.6831643886544
1073.53	c cleaning 5587 clauses out of 11191 for limit 7218.62127596147
1073.76	c cleaning 3040 clauses out of 6104 for limit 21825.515743535158
1073.99	c cleaning 1771 clauses out of 3564 for limit 61644.91124063816
1074.18	c cleaning 1137 clauses out of 2293 for limit 158010.7953980779
1074.36	c cleaning 818 clauses out of 1656 for limit 360816.482627255
1074.55	c cleaning 659 clauses out of 1338 for limit 736455.4400399913
1074.73	c cleaning 580 clauses out of 1179 for limit 1378302.8999362728
1074.91	c cleaning 539 clauses out of 1099 for limit 2438465.8038584753
1075.09	c cleaning 520 clauses out of 1060 for limit 4169311.8854973395
1075.28	c cleaning 509 clauses out of 1040 for limit 7007979.080130248
1075.45	c cleaning 515 clauses out of 1031 for limit 1.1657981391227463E7
1075.63	c cleaning 508 clauses out of 1016 for limit 1.9509412980908547E7
1075.81	c cleaning 496 clauses out of 1008 for limit 3.2428978213236973E7
1075.99	c cleaning 498 clauses out of 1012 for limit 5.3268341039008E7
1076.17	c cleaning 507 clauses out of 1014 for limit 8.767335298847246E7
1076.35	c cleaning 503 clauses out of 1007 for limit 1.4559014800263047E8
1076.53	c cleaning 502 clauses out of 1004 for limit 2.4081505395736098E8
1076.71	c cleaning 501 clauses out of 1002 for limit 3.9792892674231046E8
1076.89	c cleaning 492 clauses out of 1001 for limit 6.568936166292207E8
1077.07	c cleaning 498 clauses out of 1009 for limit 1.0747163101376615E9
1077.25	c cleaning 505 clauses out of 1011 for limit 1.7688448339350226E9
1077.43	c cleaning 503 clauses out of 1006 for limit 2.931560081888748E9
1077.61	c cleaning 501 clauses out of 1003 for limit 4.848994975711594E9
1077.79	c cleaning 489 clauses out of 1002 for limit 8.004622081932612E9
1077.97	c cleaning 496 clauses out of 1013 for limit 1.305734850700445E10
1078.15	c cleaning 508 clauses out of 1017 for limit 2.1448620999978283E10
1078.33	c cleaning 504 clauses out of 1009 for limit 3.5652094495051956E10
1078.51	c cleaning 502 clauses out of 1005 for limit 5.9029083516100845E10
1078.69	c cleaning 492 clauses out of 1003 for limit 9.754096686440892E10
1078.87	c cleaning 495 clauses out of 1011 for limit 1.595852398278683E11
1079.05	c cleaning 500 clauses out of 1016 for limit 2.6188224499121558E11
1079.22	c cleaning 508 clauses out of 1016 for limit 4.31878855970467E11
1079.40	c cleaning 504 clauses out of 1008 for limit 7.178785965897252E11
1079.58	c cleaning 502 clauses out of 1004 for limit 1.1885944866452278E12
1079.76	c cleaning 491 clauses out of 1002 for limit 1.964063793479903E12
1079.94	c cleaning 494 clauses out of 1011 for limit 3.210170080206044E12
1080.12	c cleaning 508 clauses out of 1017 for limit 5.262766873306176E12
1080.30	c cleaning 504 clauses out of 1009 for limit 8.7478193527094795E12
1080.48	c cleaning 494 clauses out of 1005 for limit 1.4483742581421578E13
1803.94	c starts		: 24
1803.94	c conflicts		: 2548501
1803.94	c decisions		: 2550786
1803.94	c propagations		: 1007915056
1803.94	c inspects		: 2894907003
1803.94	c learnt literals	: 0
1803.94	c learnt binary clauses	: 0
1803.94	c learnt ternary clauses	: 10
1803.94	c learnt clauses	: 2548497
1803.94	c root simplifications	: 0
1803.94	c removed literals (reason simplification)	: 0
1803.94	c reason swapping (by a shorter reason)	: 0
1803.94	c Calls to reduceDB	: 47
1803.94	c speed (decisions/second)	: 1414.8152626502363
1803.94	c non guided choices	200
1803.94	s UNKNOWN
1803.94	c Total wall clock time (in seconds) : 1803.682
1803.94	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/node10/watcher-242290-1168379391 -o ROOT/results/node10/solver-242290-1168379391 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/242290-1168379391/sat4jCSP-bf3.jar /tmp/evaluation/242290-1168379391/unknown.xml 

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

/proc/loadavg: 2.00 2.01 1.83 4/94 4825
/proc/meminfo: memFree=1747992/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=18540 CPUtime=0
/proc/4824/stat : 4824 (runsolver) R 4822 4824 4439 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 186334212 18984960 280 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4824/statm: 4635 280 244 17 0 2626 0

[startup+0.108191 s]
/proc/loadavg: 2.00 2.01 1.83 4/94 4825
/proc/meminfo: memFree=1747992/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=899700 CPUtime=0.08
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 3249 0 1 0 6 2 0 0 21 0 11 0 186334212 921292800 3009 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053852837 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4824/statm: 224925 3009 1525 14 0 211945 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 899700

[startup+0.52025 s]
/proc/loadavg: 2.00 2.01 1.83 4/94 4825
/proc/meminfo: memFree=1747992/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=905236 CPUtime=0.49
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 5828 0 1 0 45 4 0 0 19 0 12 0 186334212 926961664 5423 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4824/statm: 226309 5423 2250 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236

[startup+1.34736 s]
/proc/loadavg: 2.00 2.01 1.83 5/106 4837
/proc/meminfo: memFree=1733112/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=905752 CPUtime=1.3
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 6781 0 1 0 126 4 0 0 23 0 13 0 186334212 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4824/statm: 226438 5968 2342 14 0 212875 0
[pid=4824/tid=4826] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334215 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4827] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 186334215 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4828] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186334218 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4829] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 186334219 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4830] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 186334219 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4831] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 186334222 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4833] ppid=4822 vsize=905752 CPUtime=0.31
/proc/4824/task/4833/stat : 4833 (java) R 4822 4824 4439 0 -1 64 641 0 0 0 31 0 0 0 16 0 13 0 186334222 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152643433 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4834] ppid=4822 vsize=905752 CPUtime=0.29
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 735 0 0 0 29 0 0 0 16 0 13 0 186334222 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4835] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 927490048 5968 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 905752

[startup+2.98558 s]
/proc/loadavg: 2.08 2.03 1.83 3/106 4837
/proc/meminfo: memFree=1732088/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=905752 CPUtime=2.93
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 7259 0 1 0 288 5 0 0 25 0 13 0 186334212 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054224551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4824/statm: 226438 6444 2345 14 0 212875 0
[pid=4824/tid=4826] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334215 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4827] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 186334215 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4828] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 186334218 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4829] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 186334219 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4830] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 186334219 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4831] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 186334222 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4833] ppid=4822 vsize=905752 CPUtime=0.38
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 653 0 0 0 38 0 0 0 16 0 13 0 186334222 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4834] ppid=4822 vsize=905752 CPUtime=0.34
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 740 0 0 0 34 0 0 0 16 0 13 0 186334222 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4835] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=905752 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 927490048 6444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 905752

[startup+6.28603 s]
/proc/loadavg: 2.08 2.03 1.83 3/106 4837
/proc/meminfo: memFree=1727992/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=905720 CPUtime=6.2
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 8270 0 1 0 615 5 0 0 25 0 13 0 186334212 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054152550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4824/statm: 226430 7444 2346 14 0 212867 0
[pid=4824/tid=4826] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334215 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4827] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 186334215 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4828] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186334218 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4829] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 186334219 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4830] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 186334219 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4831] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 186334222 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4833] ppid=4822 vsize=905720 CPUtime=0.42
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 658 0 0 0 42 0 0 0 16 0 13 0 186334222 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4834] ppid=4822 vsize=905720 CPUtime=0.36
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 741 0 0 0 36 0 0 0 16 0 13 0 186334222 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4835] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=905720 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 927457280 7444 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 905720

[startup+12.7769 s]
/proc/loadavg: 2.07 2.03 1.83 3/98 5066
/proc/meminfo: memFree=1722360/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=905240 CPUtime=12.64
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 10460 0 1 0 1257 7 0 0 25 0 13 0 186334212 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054232995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4824/statm: 226310 9513 2346 14 0 212747 0
[pid=4824/tid=4826] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334215 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4827] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 186334215 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4828] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186334218 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4829] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 186334219 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4830] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 186334219 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4831] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 186334222 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4833] ppid=4822 vsize=905240 CPUtime=0.42
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 658 0 0 0 42 0 0 0 16 0 13 0 186334222 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4834] ppid=4822 vsize=905240 CPUtime=0.36
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 741 0 0 0 36 0 0 0 16 0 13 0 186334222 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4835] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=905240 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 926965760 9513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 905240

[startup+25.5816 s]
/proc/loadavg: 2.06 2.03 1.83 3/98 5066
/proc/meminfo: memFree=1707264/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=904900 CPUtime=25.34
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 14397 0 1 0 2525 9 0 0 25 0 13 0 186334212 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054232995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4824/statm: 226225 13365 2346 14 0 212662 0
[pid=4824/tid=4826] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334215 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4827] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 186334215 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4828] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186334218 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4829] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 186334219 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4830] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 186334219 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4831] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 186334222 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4833] ppid=4822 vsize=904900 CPUtime=0.44
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 659 0 0 0 44 0 0 0 17 0 13 0 186334222 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4834] ppid=4822 vsize=904900 CPUtime=0.37
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 741 0 0 0 37 0 0 0 16 0 13 0 186334222 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4835] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=904900 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 926617600 13365 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 904900

[startup+51.2631 s]

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

/proc/loadavg: 2.05 2.03 1.96 3/98 5264
/proc/meminfo: memFree=1054016/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=906828 CPUtime=1600.52
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 191187 0 1 0 159956 96 0 0 25 0 13 0 186334212 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054338320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4824/statm: 226707 176071 2362 14 0 213144 0
[pid=4824/tid=4826] ppid=4822 vsize=906828 CPUtime=3.28
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 73271 0 0 0 299 29 0 0 17 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=906828 CPUtime=3.25
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 87111 0 0 0 291 34 0 0 18 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=906828 CPUtime=1.47
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 9691 0 0 0 143 4 0 0 16 0 13 0 186334218 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=906828 CPUtime=0.56
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 676 0 0 0 56 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=906828 CPUtime=0.43
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 744 0 0 0 43 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.52
Current children cumulated vsize (KiB) 906828

[startup+1664.29 s]
/proc/loadavg: 2.02 2.03 1.96 3/98 5264
/proc/meminfo: memFree=1053952/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=906828 CPUtime=1660.52
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 191187 0 1 0 165955 97 0 0 25 0 13 0 186334212 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054019095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4824/statm: 226707 176071 2362 14 0 213144 0
[pid=4824/tid=4826] ppid=4822 vsize=906828 CPUtime=3.28
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 73271 0 0 0 299 29 0 0 17 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=906828 CPUtime=3.25
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 87111 0 0 0 291 34 0 0 18 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=906828 CPUtime=1.47
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 9691 0 0 0 143 4 0 0 16 0 13 0 186334218 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=906828 CPUtime=0.56
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 676 0 0 0 56 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=906828 CPUtime=0.43
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 744 0 0 0 43 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.52
Current children cumulated vsize (KiB) 906828

[startup+1724.37 s]
/proc/loadavg: 2.05 2.03 1.96 3/98 5264
/proc/meminfo: memFree=1053952/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=906828 CPUtime=1720.54
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 191187 0 1 0 171957 97 0 0 25 0 13 0 186334212 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054019095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4824/statm: 226707 176071 2362 14 0 213144 0
[pid=4824/tid=4826] ppid=4822 vsize=906828 CPUtime=3.28
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 73271 0 0 0 299 29 0 0 17 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=906828 CPUtime=3.25
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 87111 0 0 0 291 34 0 0 18 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=906828 CPUtime=1.47
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 9691 0 0 0 143 4 0 0 16 0 13 0 186334218 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=906828 CPUtime=0.56
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 676 0 0 0 56 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=906828 CPUtime=0.43
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 744 0 0 0 43 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.54
Current children cumulated vsize (KiB) 906828

[startup+1784.44 s]
/proc/loadavg: 2.02 2.03 1.96 3/98 5264
/proc/meminfo: memFree=1053888/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=906828 CPUtime=1780.57
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 191187 0 1 0 177960 97 0 0 25 0 13 0 186334212 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054338339 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4824/statm: 226707 176071 2362 14 0 213144 0
[pid=4824/tid=4826] ppid=4822 vsize=906828 CPUtime=3.28
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 73271 0 0 0 299 29 0 0 17 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=906828 CPUtime=3.25
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 87111 0 0 0 291 34 0 0 18 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=906828 CPUtime=1.47
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 9691 0 0 0 143 4 0 0 16 0 13 0 186334218 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=906828 CPUtime=0.56
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 676 0 0 0 56 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=906828 CPUtime=0.43
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 744 0 0 0 43 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (KiB) 906828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.93 s]
/proc/loadavg: 2.01 2.02 1.96 3/98 5264
/proc/meminfo: memFree=1053888/2055920 swapFree=4178216/4192956
[pid=4824] ppid=4822 vsize=906828 CPUtime=1800.02
/proc/4824/stat : 4824 (java) R 4822 4824 4439 0 -1 0 191187 0 1 0 179905 97 0 0 25 0 13 0 186334212 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054337958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4824/statm: 226707 176071 2362 14 0 213144 0
[pid=4824/tid=4826] ppid=4822 vsize=906828 CPUtime=3.28
/proc/4824/task/4826/stat : 4826 (java) S 4822 4824 4439 0 -1 64 73271 0 0 0 299 29 0 0 17 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=906828 CPUtime=3.25
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4439 0 -1 64 87111 0 0 0 291 34 0 0 18 0 13 0 186334215 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=906828 CPUtime=1.47
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4439 0 -1 64 9691 0 0 0 143 4 0 0 16 0 13 0 186334218 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4439 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186334219 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4832] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4439 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=906828 CPUtime=0.56
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4439 0 -1 64 676 0 0 0 56 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=906828 CPUtime=0.43
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4439 0 -1 64 744 0 0 0 43 0 0 0 16 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4439 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 186334222 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4836] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4439 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 186334223 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4824/tid=4837] ppid=4822 vsize=906828 CPUtime=0
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4439 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 186334316 928591872 176071 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 906828

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

Child status: 143
Real time (s): 1804.09
CPU time (s): 1800.17
CPU user time (s): 1799.1
CPU system time (s): 1.07384
CPU usage (%): 99.7826
Max. virtual memory (cumulated for all children) (KiB): 914832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.07384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191207
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= 37487
involuntary context switches= 54747

runsolver used 2.19766 s user time and 5.82111 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue Jan  9 21:49:51 UTC 2007


IDJOB= 242290
IDBENCH= 7381
FILE ID= node10/242290-1168379391

PBS_JOBID= 3522346

Free space on /tmp= 66560 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-100_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/242290-1168379391/sat4jCSP-bf3.jar /tmp/evaluation/242290-1168379391/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-242290-1168379391 -o ROOT/results/node10/solver-242290-1168379391 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/242290-1168379391/sat4jCSP-bf3.jar /tmp/evaluation/242290-1168379391/unknown.xml

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  a9dcb372a45d2dd0d0fa5883b83c178b

RANDOM SEED= 354315662

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1748472 kB
Buffers:         63184 kB
Cached:         145360 kB
SwapCached:       2596 kB
Active:         144004 kB
Inactive:       106644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748472 kB
SwapTotal:     4192956 kB
SwapFree:      4178216 kB
Dirty:            2516 kB
Writeback:           0 kB
Mapped:          58672 kB
Slab:            41580 kB
Committed_AS:  5416384 kB
PageTables:       2304 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= 66558 MiB



End job on node10 on Tue Jan  9 22:19:55 UTC 2007