Trace number 278596

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
AbsconMax 109 EPFCMSAT (TO) 2400.12 2406.01

General information on the benchmark

Namedimacs/
jnhUnsat/jnh310_ext.xml
MD5SUMa17b4095191bd0bf7b9394b428260da1
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints896
Best CPU time to get the best result obtained on this benchmark3.73843
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints899
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension899
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/278596-1169288984/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=100  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.41	       =>  wckTime=0.102  cpuTime=0.08  mem=6M887
0.41	   
0.41	   relations being loaded...
0.46	   
0.46	   constraints being loaded...
0.63	     nbConstraints=899  nbRelationTypes=231  nbExtensionStructures=231  nbSharedExtensionStructures=668
0.63	     nbConflictsStructures=231  nbSharedConflictsStructures=668  nbSharedBinaryRepresentations=16  maxDegree=60
0.63	     maxArity=11
0.63	       =>  wckTime=0.321  cpuTime=0.21  mem=11M763
0.68	   
0.68	   solver LocalSearchSolver being built... 
0.72	       =>  wckTime=0.408  cpuTime=0.25  mem=6M348
0.73	
0.73	s SATISFIABLE
0.73	o 840
0.73	c 59
0.73	o 844
0.73	c 55
0.73	o 848
0.73	c 51
0.73	o 852
0.73	c 47
0.73	o 856
0.73	c 43
0.74	o 860
0.74	c 39
0.74	o 862
0.74	c 37
0.74	o 865
0.74	c 34
0.74	o 867
0.74	c 32
0.74	o 869
0.74	c 30
0.74	o 870
0.74	c 29
0.74	o 871
0.74	c 28
0.75	o 872
0.75	c 27
0.75	o 874
0.75	c 25
0.75	o 876
0.75	c 23
0.75	o 877
0.75	c 22
0.76	o 878
0.76	c 21
0.76	o 880
0.76	c 19
0.77	o 882
0.77	c 17
0.77	o 883
0.77	c 16
0.77	o 884
0.77	c 15
0.78	o 885
0.78	c 14
0.79	o 886
0.79	c 13
0.79	o 887
0.79	c 12
0.80	o 888
0.80	c 11
0.80	o 889
0.80	c 10
0.80	o 891
0.80	c 8
0.80	o 892
0.80	c 7
0.82	o 893
0.82	c 6
0.82	o 894
0.82	c 5
1.36	o 895
1.36	c 4
1.36	o 896
1.36	c 3
5.70	   
5.70	   search
5.70	     run=0  nbConstraintChecks=14890304  nbAssignments=10000
5.70	       =>  wckTime=4.976  cpuTime=4.93  mem=6M348
11.13	   
11.13	   search
11.13	     run=1  nbConstraintChecks=31732438  nbAssignments=20000
11.13	       =>  wckTime=10.412  cpuTime=10.37  mem=6M348
15.86	   
15.86	   search
15.86	     run=2  nbConstraintChecks=46258046  nbAssignments=30000
15.86	       =>  wckTime=15.143  cpuTime=15.09  mem=6M348
21.46	   
21.46	   search
21.46	     run=3  nbConstraintChecks=63409216  nbAssignments=40000
21.46	       =>  wckTime=20.737  cpuTime=20.68  mem=6M348
26.20	   
26.20	   search
26.20	     run=4  nbConstraintChecks=77840198  nbAssignments=50000
26.20	       =>  wckTime=25.481  cpuTime=25.42  mem=6M348
31.40	   
31.40	   search
31.40	     run=5  nbConstraintChecks=93895206  nbAssignments=59598
31.40	       =>  wckTime=30.677  cpuTime=30.62  mem=6M348
31.40	   
31.40	   global
31.40	     nbConstraintChecks=93895206  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.40	     solvingWckTime=30.676  solvingCpuTime=30.62  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.40	     globalCpuTime=30.93
31.40	       =>  wckTime=31.086  cpuTime=30.87  mem=6M348
31.40	   
31.40	   solver IterativeSystematicSolver being built... 
31.59	       =>  wckTime=31.278  cpuTime=31.01  mem=25M226
31.88	   
31.88	   preprocessing
31.88	     nbConstraintChecks=7742  nbValidityChecks=4177  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.88	     nbRemovedValues=0  detectedInconsistency=no
31.88	       =>  wckTime=0.286  cpuTime=0.26  mem=25M226
32.00	   
32.00	   search
32.00	     run=0  nbConstraintChecks=8497  nbValidityChecks=13331  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.00	     nbAssignments=50  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=68  nbRestartNogoods=0
32.00	       =>  wckTime=0.405  cpuTime=0.37  mem=25M226
32.14	   
32.14	   search
32.14	     run=1  nbConstraintChecks=16743  nbValidityChecks=24243  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.14	     nbAssignments=100  nbFailedAssignments=20  nbBacktracks=26  nbVisitedNodes=142  nbRestartNogoods=3
32.14	       =>  wckTime=0.547  cpuTime=0.5  mem=25M226
32.30	   
32.30	   search
32.30	     run=2  nbConstraintChecks=28711  nbValidityChecks=45210  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.30	     nbAssignments=158  nbFailedAssignments=37  nbBacktracks=48  nbVisitedNodes=235  nbRestartNogoods=6
32.30	       =>  wckTime=0.71  cpuTime=0.66  mem=25M226
32.52	   
32.52	   search
32.52	     run=3  nbConstraintChecks=45829  nbValidityChecks=69758  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.52	     nbAssignments=239  nbFailedAssignments=55  nbBacktracks=85  nbVisitedNodes=361  nbRestartNogoods=7
32.52	       =>  wckTime=0.932  cpuTime=0.88  mem=25M226
32.77	   
32.77	   search
32.77	     run=4  nbConstraintChecks=69170  nbValidityChecks=114430  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.77	     nbAssignments=350  nbFailedAssignments=81  nbBacktracks=135  nbVisitedNodes=521  nbRestartNogoods=9
32.77	       =>  wckTime=1.183  cpuTime=1.14  mem=25M226
33.13	   
33.13	   search
33.13	     run=5  nbConstraintChecks=108114  nbValidityChecks=198156  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.13	     nbAssignments=502  nbFailedAssignments=127  nbBacktracks=212  nbVisitedNodes=767  nbRestartNogoods=14
33.13	       =>  wckTime=1.54  cpuTime=1.49  mem=25M226
33.67	   
33.67	   search
33.67	     run=6  nbConstraintChecks=153013  nbValidityChecks=291472  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.67	     nbAssignments=706  nbFailedAssignments=186  nbBacktracks=329  nbVisitedNodes=1116  nbRestartNogoods=17
33.67	       =>  wckTime=2.08  cpuTime=2.03  mem=25M226
34.43	   
34.43	   search
34.43	     run=7  nbConstraintChecks=238832  nbValidityChecks=513712  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.43	     nbAssignments=1024  nbFailedAssignments=295  nbBacktracks=501  nbVisitedNodes=1635  nbRestartNogoods=20
34.43	       =>  wckTime=2.842  cpuTime=2.79  mem=26M201
35.49	   
35.49	   search
35.49	     run=8  nbConstraintChecks=354104  nbValidityChecks=849275  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.49	     nbAssignments=1450  nbFailedAssignments=421  nbBacktracks=766  nbVisitedNodes=2353  nbRestartNogoods=26
35.49	       =>  wckTime=3.895  cpuTime=3.84  mem=26M201
36.89	   
36.89	   search
36.89	     run=9  nbConstraintChecks=507287  nbValidityChecks=1129089  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.89	     nbAssignments=2105  nbFailedAssignments=653  nbBacktracks=1152  nbVisitedNodes=3429  nbRestartNogoods=31
36.89	       =>  wckTime=5.296  cpuTime=5.22  mem=26M201
39.50	   
39.50	   search
39.50	     run=10  nbConstraintChecks=755807  nbValidityChecks=1767111  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.50	     nbAssignments=3087  nbFailedAssignments=1017  nbBacktracks=1728  nbVisitedNodes=5123  nbRestartNogoods=38
39.50	       =>  wckTime=7.913  cpuTime=7.83  mem=26M201
43.12	   
43.12	   search
43.12	     run=11  nbConstraintChecks=1125844  nbValidityChecks=2741341  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.12	     nbAssignments=4469  nbFailedAssignments=1501  nbBacktracks=2593  nbVisitedNodes=7478  nbRestartNogoods=56
43.12	       =>  wckTime=11.532  cpuTime=11.44  mem=26M201
48.04	   
48.04	   search
48.04	     run=12  nbConstraintChecks=1627860  nbValidityChecks=3896005  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.04	     nbAssignments=6381  nbFailedAssignments=2080  nbBacktracks=3895  nbVisitedNodes=10696  nbRestartNogoods=63
48.04	       =>  wckTime=16.448  cpuTime=16.34  mem=26M201
55.68	   
55.68	   search
55.68	     run=13  nbConstraintChecks=2443007  nbValidityChecks=5707337  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
55.68	     nbAssignments=9289  nbFailedAssignments=3011  nbBacktracks=5842  nbVisitedNodes=15702  nbRestartNogoods=69
55.68	       =>  wckTime=24.092  cpuTime=23.98  mem=26M201
66.94	   
66.94	   search
66.94	     run=14  nbConstraintChecks=3766678  nbValidityChecks=9409868  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
66.94	     nbAssignments=13801  nbFailedAssignments=4579  nbBacktracks=8763  nbVisitedNodes=23625  nbRestartNogoods=75
66.94	       =>  wckTime=35.345  cpuTime=35.22  mem=26M201
83.43	   
83.43	   search
83.43	     run=15  nbConstraintChecks=5782036  nbValidityChecks=14422397  nbPropagations=0  nbRevisions=0
83.43	     nbUselessRevisions=0  nbAssignments=20577  nbFailedAssignments=6937  nbBacktracks=13144  nbVisitedNodes=35452
83.43	     nbRestartNogoods=79
83.43	       =>  wckTime=51.835  cpuTime=51.71  mem=26M201
107.44	   
107.44	   search
107.44	     run=16  nbConstraintChecks=8768325  nbValidityChecks=20751929  nbPropagations=0  nbRevisions=0
107.44	     nbUselessRevisions=0  nbAssignments=30244  nbFailedAssignments=10001  nbBacktracks=19725  nbVisitedNodes=52402
107.44	     nbRestartNogoods=87
107.44	       =>  wckTime=75.848  cpuTime=75.71  mem=26M201
147.53	   
147.54	   search
147.54	     run=17  nbConstraintChecks=13169567  nbValidityChecks=29742349  nbPropagations=0  nbRevisions=0
147.54	     nbUselessRevisions=0  nbAssignments=44882  nbFailedAssignments=14745  nbBacktracks=29578  nbVisitedNodes=78400
147.54	     nbRestartNogoods=90
147.54	       =>  wckTime=115.943  cpuTime=115.47  mem=26M201
204.16	   
204.16	   search
204.16	     run=18  nbConstraintChecks=18805345  nbValidityChecks=40569202  nbPropagations=0  nbRevisions=0
204.16	     nbUselessRevisions=0  nbAssignments=67639  nbFailedAssignments=22695  nbBacktracks=44356  nbVisitedNodes=117075
204.16	     nbRestartNogoods=98
204.16	       =>  wckTime=172.565  cpuTime=171.58  mem=26M201
287.92	   
287.92	   search
287.92	     run=19  nbConstraintChecks=28087105  nbValidityChecks=60549014  nbPropagations=0  nbRevisions=0
287.92	     nbUselessRevisions=0  nbAssignments=99704  nbFailedAssignments=32552  nbBacktracks=66527  nbVisitedNodes=173406
287.92	     nbRestartNogoods=108
287.92	       =>  wckTime=256.328  cpuTime=254.58  mem=26M201
406.92	   
406.92	   search
406.92	     run=20  nbConstraintChecks=40476791  nbValidityChecks=83392416  nbPropagations=0  nbRevisions=0
406.92	     nbUselessRevisions=0  nbAssignments=147044  nbFailedAssignments=46619  nbBacktracks=99780  nbVisitedNodes=254540
406.92	     nbRestartNogoods=119
406.92	       =>  wckTime=375.329  cpuTime=372.51  mem=26M201
571.11	   
571.11	   search
571.11	     run=21  nbConstraintChecks=61303366  nbValidityChecks=134700517  nbPropagations=0  nbRevisions=0
571.11	     nbUselessRevisions=0  nbAssignments=215619  nbFailedAssignments=65280  nbBacktracks=149658  nbVisitedNodes=371946
571.11	     nbRestartNogoods=126
571.11	       =>  wckTime=539.519  cpuTime=535.2  mem=26M201
797.20	   
797.20	   search
797.20	     run=22  nbConstraintChecks=89521112  nbValidityChecks=187165109  nbPropagations=0  nbRevisions=0
797.20	     nbUselessRevisions=0  nbAssignments=319566  nbFailedAssignments=94379  nbBacktracks=224481  nbVisitedNodes=546270
797.20	     nbRestartNogoods=132
797.20	       =>  wckTime=765.612  cpuTime=760.57  mem=26M201
1103.58	   
1103.58	   search
1103.58	     run=23  nbConstraintChecks=133576852  nbValidityChecks=277851722  nbPropagations=0  nbRevisions=0
1103.58	     nbUselessRevisions=0  nbAssignments=468223  nbFailedAssignments=130763  nbBacktracks=336710  nbVisitedNodes=795471
1103.58	     nbRestartNogoods=138
1103.58	       =>  wckTime=1071.987  cpuTime=1066.79  mem=26M201
1587.73	   
1587.74	   search
1587.74	     run=24  nbConstraintChecks=192415643  nbValidityChecks=377092916  nbPropagations=0  nbRevisions=0
1587.74	     nbUselessRevisions=0  nbAssignments=696218  nbFailedAssignments=190381  nbBacktracks=505053  nbVisitedNodes=1178329
1587.74	     nbRestartNogoods=150
1587.74	       =>  wckTime=1556.144  cpuTime=1550.67  mem=26M201
2284.57	   
2284.57	   search
2284.57	     run=25  nbConstraintChecks=278632575  nbValidityChecks=534428746  nbPropagations=0  nbRevisions=0
2284.57	     nbUselessRevisions=0  nbAssignments=1026293  nbFailedAssignments=267904  nbBacktracks=757568
2284.57	     nbVisitedNodes=1731099  nbRestartNogoods=163
2284.57	       =>  wckTime=2252.98  cpuTime=2247.14  mem=26M201
2405.95	v 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1

Verifier Data (download as text)

3 unsatisfied constraints, 896 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-278596-1169288984 -o ROOT/results/node30/solver-278596-1169288984 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278596-1169288984/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 1.12 1.74 1.86 2/88 5986
/proc/meminfo: memFree=1559272/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=18540 CPUtime=0
/proc/5985/stat : 5985 (runsolver) R 5983 5985 5762 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277292762 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5985/statm: 4635 279 244 17 0 2626 0

[startup+0.102826 s]
/proc/loadavg: 1.12 1.74 1.86 2/88 5986
/proc/meminfo: memFree=1559272/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=914988 CPUtime=0.09
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 2979 0 1 0 7 2 0 0 18 0 8 0 277292762 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514852 s]
/proc/loadavg: 1.12 1.74 1.86 2/88 5986
/proc/meminfo: memFree=1559272/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915332 CPUtime=0.49
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 6323 0 1 0 45 4 0 0 18 0 8 0 277292762 937299968 6062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228833 6062 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3359 s]
/proc/loadavg: 1.12 1.74 1.86 3/95 5993
/proc/meminfo: memFree=1537776/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=1.3
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8031 0 1 0 119 11 0 0 25 0 8 0 277292762 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752489 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228857 7769 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 357 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 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) 915428

[startup+2.973 s]
/proc/loadavg: 1.12 1.74 1.86 2/88 6000
/proc/meminfo: memFree=1539432/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2.93
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8032 0 1 0 267 26 0 0 25 0 8 0 277292762 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7769 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 357 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 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) 915428

[startup+6.2572 s]
/proc/loadavg: 1.19 1.75 1.87 2/88 6016
/proc/meminfo: memFree=1539496/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=6.21
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8034 0 1 0 569 52 0 0 25 0 8 0 277292762 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7771 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 359 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915428

[startup+12.7376 s]
/proc/loadavg: 1.17 1.73 1.86 2/88 6016
/proc/meminfo: memFree=1539496/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=12.69
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8035 0 1 0 1169 100 0 0 25 0 8 0 277292762 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7772 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915432 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 360 0 0 0 16 1 0 0 16 0 8 0 277292770 937402368 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915428

[startup+25.5954 s]
/proc/loadavg: 1.13 1.70 1.85 2/88 6019
/proc/meminfo: memFree=1541808/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=25.53
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8035 0 1 0 2354 199 0 0 25 0 8 0 277292762 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7772 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 360 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915428

[startup+51.297 s]
/proc/loadavg: 1.17 1.66 1.83 3/95 6083
/proc/meminfo: memFree=1524456/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=51.2
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11336 0 1 0 4877 243 0 0 25 0 8 0 277292762 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915119 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11065 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.28
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 432 0 0 0 27 1 0 0 16 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915428

[startup+102.599 s]
/proc/loadavg: 1.07 1.55 1.78 2/88 6183
/proc/meminfo: memFree=1528560/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=102.46
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11346 0 1 0 10002 244 0 0 25 0 8 0 277292762 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11074 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.28
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915428

[startup+162.675 s]
/proc/loadavg: 1.59 1.60 1.78 3/100 6228
/proc/meminfo: memFree=1501264/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=162.08
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11351 0 1 0 15963 245 0 0 25 0 8 0 277292762 937398272 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2018.12
Current children cumulated vsize (KiB) 915428

[startup+2083.83 s]
/proc/loadavg: 1.03 1.01 1.16 2/85 6531
/proc/meminfo: memFree=1533520/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2078.11
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 207545 266 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.11
Current children cumulated vsize (KiB) 915428

[startup+2143.86 s]
/proc/loadavg: 1.01 1.01 1.15 2/85 6531
/proc/meminfo: memFree=1533584/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2138.09
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 213543 266 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.09
Current children cumulated vsize (KiB) 915428

[startup+2203.88 s]
/proc/loadavg: 1.08 1.02 1.15 2/85 6531
/proc/meminfo: memFree=1533584/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2198.09
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 219542 267 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.09
Current children cumulated vsize (KiB) 915428

[startup+2263.9 s]
/proc/loadavg: 1.03 1.01 1.14 2/85 6531
/proc/meminfo: memFree=1533648/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2258.08
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 225541 267 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073959403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.08
Current children cumulated vsize (KiB) 915428

[startup+2323.92 s]
/proc/loadavg: 1.01 1.01 1.12 2/85 6531
/proc/meminfo: memFree=1533712/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2318.07
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11375 0 1 0 231540 267 0 0 25 0 8 0 277292762 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11101 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.07
Current children cumulated vsize (KiB) 915428

[startup+2383.94 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 6531
/proc/meminfo: memFree=1533712/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2378.05
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11375 0 1 0 237538 267 0 0 25 0 8 0 277292762 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919141 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11101 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.05
Current children cumulated vsize (KiB) 915428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2405.95 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 6531
/proc/meminfo: memFree=1533712/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2400.05
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11375 0 1 0 239738 267 0 0 25 0 8 0 277292762 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11101 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) R 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915428

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

Child status: 143
Real time (s): 2406.01
CPU time (s): 2400.12
CPU user time (s): 2397.44
CPU system time (s): 2.68159
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 915432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.44
system time used= 2.68159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11397
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= 49853
involuntary context switches= 71244

runsolver used 2.45563 s user time and 6.67598 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Jan 20 10:29:48 UTC 2007


IDJOB= 278596
IDBENCH= 8506
IDSOLVER= 68
FILE ID= node30/278596-1169288984

PBS_JOBID= 3609671

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh310_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278596-1169288984/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-278596-1169288984 -o ROOT/results/node30/solver-278596-1169288984 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278596-1169288984/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a17b4095191bd0bf7b9394b428260da1

RANDOM SEED= 975030026

TIME LIMIT= 2400 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.234
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.234
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:       1559752 kB
Buffers:         39552 kB
Cached:         344864 kB
SwapCached:       2164 kB
Active:         122508 kB
Inactive:       297252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1559752 kB
SwapTotal:     4192956 kB
SwapFree:      4167328 kB
Dirty:            4340 kB
Writeback:           0 kB
Mapped:          52860 kB
Slab:            61188 kB
Committed_AS:  5104808 kB
PageTables:       2252 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= 66563 MiB



End job on node30 on Sat Jan 20 11:09:55 UTC 2007