Trace number 276221

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 PFCOPTIMUM 1568.58 1577.34

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-56021_ext.xml
MD5SUM5e9f67184886c7a7c73ebe1fd2f6af54
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints275
Best CPU time to get the best result obtained on this benchmark132.892
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/276221-1169233602/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.102  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.64	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=901  maxDegree=23
0.64	     maxArity=2
0.64	       =>  wckTime=0.325  cpuTime=0.24  mem=13M769
0.69	   
0.69	   solver LocalSearchSolver being built... 
0.74	       =>  wckTime=0.417  cpuTime=0.28  mem=6M127
0.74	
0.74	s SATISFIABLE
0.74	o 223
0.74	c 53
0.74	o 230
0.74	c 46
0.75	o 236
0.75	c 40
0.75	o 240
0.75	c 36
0.75	o 242
0.75	c 34
0.75	o 244
0.75	c 32
0.75	o 248
0.75	c 28
0.75	o 251
0.75	c 25
0.75	o 252
0.75	c 24
0.75	o 253
0.75	c 23
0.75	o 255
0.76	c 21
0.76	o 257
0.76	c 19
0.76	o 259
0.76	c 17
0.76	o 262
0.76	c 14
0.76	o 264
0.76	c 12
0.76	o 265
0.76	c 11
0.76	o 266
0.76	c 10
0.77	o 267
0.77	c 9
0.77	o 268
0.77	c 8
0.77	o 269
0.77	c 7
0.77	o 270
0.77	c 6
0.81	o 271
0.81	c 5
0.88	o 272
0.88	c 4
0.91	o 273
0.91	c 3
1.02	o 274
1.02	c 2
1.10	o 275
1.10	c 1
1.10	   
1.10	   search
1.10	     run=0  nbConstraintChecks=2277472  nbAssignments=1075
1.10	       =>  wckTime=0.363  cpuTime=0.35  mem=6M127
1.10	   
1.10	   global
1.10	     nbConstraintChecks=2277472  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1.10	     solvingWckTime=0.361  solvingCpuTime=0.35  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1.10	     globalCpuTime=0.69
1.10	       =>  wckTime=0.781  cpuTime=0.63  mem=6M127
1.10	   
1.10	   solver IterativeSystematicSolver being built... 
1.24	       =>  wckTime=0.92  cpuTime=0.74  mem=17M52
1.25	   
1.25	   preprocessing
1.25	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.25	     detectedInconsistency=no
1.25	       =>  wckTime=0.0060  cpuTime=0.0  mem=17M52
1.31	   
1.31	   search
1.31	     run=0  nbConstraintChecks=112334  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34
1.31	     nbFailedAssignments=18  nbBacktracks=10  nbVisitedNodes=63  nbRestartNogoods=0
1.31	       =>  wckTime=0.071  cpuTime=0.05  mem=17M52
1.41	   
1.41	   search
1.41	     run=1  nbConstraintChecks=428190  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=116
1.41	     nbFailedAssignments=80  nbBacktracks=25  nbVisitedNodes=222  nbRestartNogoods=13
1.41	       =>  wckTime=0.166  cpuTime=0.12  mem=17M52
1.49	   
1.49	   search
1.49	     run=2  nbConstraintChecks=836272  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=217
1.49	     nbFailedAssignments=154  nbBacktracks=47  nbVisitedNodes=419  nbRestartNogoods=21
1.49	       =>  wckTime=0.252  cpuTime=0.21  mem=17M52
1.59	   
1.59	   search
1.59	     run=3  nbConstraintChecks=1294313  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=353
1.59	     nbFailedAssignments=251  nbBacktracks=80  nbVisitedNodes=685  nbRestartNogoods=45
1.59	       =>  wckTime=0.352  cpuTime=0.31  mem=17M52
1.77	   
1.77	   search
1.77	     run=4  nbConstraintChecks=2140858  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=594
1.77	     nbFailedAssignments=437  nbBacktracks=130  nbVisitedNodes=1162  nbRestartNogoods=54
1.77	       =>  wckTime=0.527  cpuTime=0.48  mem=17M52
1.97	   
1.97	   search
1.97	     run=5  nbConstraintChecks=3122704  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=846
1.97	     nbFailedAssignments=609  nbBacktracks=205  nbVisitedNodes=1661  nbRestartNogoods=76
1.97	       =>  wckTime=0.728  cpuTime=0.68  mem=17M52
2.38	   
2.38	   search
2.38	     run=6  nbConstraintChecks=5109742  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1325
2.38	     nbFailedAssignments=970  nbBacktracks=318  nbVisitedNodes=2613  nbRestartNogoods=90
2.38	       =>  wckTime=1.137  cpuTime=1.07  mem=17M52
2.91	   
2.91	   search
2.91	     run=7  nbConstraintChecks=7573777  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2015
2.91	     nbFailedAssignments=1485  nbBacktracks=489  nbVisitedNodes=3986  nbRestartNogoods=113
2.91	       =>  wckTime=1.669  cpuTime=1.58  mem=17M52
3.54	   
3.54	   search
3.54	     run=8  nbConstraintChecks=10618161  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2726
3.54	     nbFailedAssignments=1935  nbBacktracks=745  nbVisitedNodes=5358  nbRestartNogoods=117
3.54	       =>  wckTime=2.297  cpuTime=2.2  mem=17M52
4.30	   
4.30	   search
4.30	     run=9  nbConstraintChecks=14418590  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3660
4.30	     nbFailedAssignments=2483  nbBacktracks=1129  nbVisitedNodes=7094  nbRestartNogoods=129
4.30	       =>  wckTime=3.059  cpuTime=2.96  mem=17M52
5.51	   
5.51	   search
5.51	     run=10  nbConstraintChecks=20394231  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5044
5.51	     nbFailedAssignments=3286  nbBacktracks=1705  nbVisitedNodes=9632  nbRestartNogoods=130
5.51	       =>  wckTime=4.266  cpuTime=4.15  mem=17M52
6.94	   
6.94	   search
6.94	     run=11  nbConstraintChecks=27549248  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6799
6.94	     nbFailedAssignments=4171  nbBacktracks=2571  nbVisitedNodes=12688  nbRestartNogoods=141
6.94	       =>  wckTime=5.702  cpuTime=5.56  mem=17M52
9.18	   
9.18	   search
9.18	     run=12  nbConstraintChecks=38612895  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9450
9.18	     nbFailedAssignments=5519  nbBacktracks=3870  nbVisitedNodes=17267  nbRestartNogoods=154
9.18	       =>  wckTime=7.942  cpuTime=7.77  mem=17M52
12.38	   
12.38	   search
12.38	     run=13  nbConstraintChecks=54472140  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13405
12.38	     nbFailedAssignments=7522  nbBacktracks=5816  nbVisitedNodes=24026  nbRestartNogoods=164
12.38	       =>  wckTime=11.138  cpuTime=10.94  mem=17M52
16.89	   
16.89	   search
16.89	     run=14  nbConstraintChecks=76796496  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19000
16.89	     nbFailedAssignments=10193  nbBacktracks=8735  nbVisitedNodes=33388  nbRestartNogoods=179
16.89	       =>  wckTime=15.645  cpuTime=15.39  mem=17M52
23.98	   
23.98	   search
23.98	     run=15  nbConstraintChecks=112367101  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=27545
23.98	     nbFailedAssignments=14354  nbBacktracks=13113  nbVisitedNodes=47876  nbRestartNogoods=188
23.98	       =>  wckTime=22.737  cpuTime=22.41  mem=17M52
34.37	   
34.37	   search
34.37	     run=16  nbConstraintChecks=164421514  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=40350
34.37	     nbFailedAssignments=20585  nbBacktracks=19682  nbVisitedNodes=69591  nbRestartNogoods=202
34.37	       =>  wckTime=33.133  cpuTime=32.71  mem=17M52
50.06	   
50.06	   search
50.06	     run=17  nbConstraintChecks=243517294  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=59429
50.06	     nbFailedAssignments=29807  nbBacktracks=29535  nbVisitedNodes=101835  nbRestartNogoods=229
50.06	       =>  wckTime=48.815  cpuTime=48.25  mem=17M52
73.05	   
73.05	   search
73.05	     run=18  nbConstraintChecks=358375567  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=87825
73.05	     nbFailedAssignments=43420  nbBacktracks=44313  nbVisitedNodes=149555  nbRestartNogoods=243
73.05	       =>  wckTime=71.805  cpuTime=71.03  mem=17M52
108.03	   
108.03	   search
108.03	     run=19  nbConstraintChecks=534484129  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=130181
108.03	     nbFailedAssignments=63603  nbBacktracks=66482  nbVisitedNodes=220834  nbRestartNogoods=252
108.03	       =>  wckTime=106.787  cpuTime=105.7  mem=17M52
158.79	   
158.79	   search
158.79	     run=20  nbConstraintChecks=788795482  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=193317
158.79	     nbFailedAssignments=93481  nbBacktracks=99735  nbVisitedNodes=326419  nbRestartNogoods=268
158.79	       =>  wckTime=157.549  cpuTime=155.99  mem=17M52
236.16	   
236.16	   search
236.16	     run=21  nbConstraintChecks=1175620333  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=288499
236.16	     nbFailedAssignments=138782  nbBacktracks=149613  nbVisitedNodes=486011  nbRestartNogoods=286
236.16	       =>  wckTime=234.922  cpuTime=232.66  mem=17M52
353.26	   
353.26	   search
353.26	     run=22  nbConstraintChecks=1765914605  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=431933
353.26	     nbFailedAssignments=207393  nbBacktracks=224431  nbVisitedNodes=726829  nbRestartNogoods=305
353.26	       =>  wckTime=352.022  cpuTime=349.0  mem=17M52
520.45	   
520.45	   search
520.45	     run=23  nbConstraintChecks=2617316645  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=645400
520.45	     nbFailedAssignments=308628  nbBacktracks=336659  nbVisitedNodes=1084096  nbRestartNogoods=324
520.45	       =>  wckTime=519.209  cpuTime=515.38  mem=17M52
773.99	   
773.99	   search
773.99	     run=24  nbConstraintChecks=3913265458  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=965217
773.99	     nbFailedAssignments=460098  nbBacktracks=505000  nbVisitedNodes=1619165  nbRestartNogoods=347
773.99	       =>  wckTime=772.753  cpuTime=767.73  mem=17M52
1157.36	   
1157.36	   search
1157.36	     run=25  nbConstraintChecks=5874288218  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1444903
1157.36	     nbFailedAssignments=687268  nbBacktracks=757511  nbVisitedNodes=2422342  nbRestartNogoods=375
1157.36	       =>  wckTime=1156.121  cpuTime=1149.3  mem=17M52
1577.29	   
1577.29	   search
1577.29	     run=26  nbConstraintChecks=8024619883  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1966230
1577.29	     nbFailedAssignments=935535  nbBacktracks=1030572  nbVisitedNodes=3297066  nbRestartNogoods=392
1577.29	       =>  wckTime=1576.052  cpuTime=1567.26  mem=17M52
1577.29	   
1577.29	   global
1577.29	     nbConstraintChecks=8024619883  nbRestartNogoods=392  solvingWckTime=1576.054  solvingCpuTime=1567.26
1577.29	     expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1568.06
1577.29	       =>  wckTime=1576.974  cpuTime=1568.0  mem=17M52
1577.30	
1577.30	s OPTIMUM FOUND
1577.30	v 18 14 18 23 19 4 14 20 5 6 6 18 18 0 5 6 20 16 12 8 2 20 14 1 
1577.30	   
1577.30	   totalWckTime=1577.056  totalCpuTime=1568.06

Verifier Data (download as text)

1 unsatisfied constraints, 275 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/node14/watcher-276221-1169233602 -o ROOT/results/node14/solver-276221-1169233602 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276221-1169233602/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.92 1.98 1.99 4/93 18905
/proc/meminfo: memFree=1266408/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=47892 CPUtime=0
/proc/18904/stat : 18904 (java) D 18902 18904 18836 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 271755149 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/18904/statm: 11973 968 766 14 0 1707 0

[startup+0.103699 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 18905
/proc/meminfo: memFree=1266408/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=913228 CPUtime=0.08
/proc/18904/stat : 18904 (java) S 18902 18904 18836 0 -1 0 2909 0 1 0 7 1 0 0 18 0 8 0 271755149 935145472 2655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228307 2655 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.515736 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 18905
/proc/meminfo: memFree=1266408/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915332 CPUtime=0.49
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 6817 0 1 0 45 4 0 0 18 0 8 0 271755149 937299968 6556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228833 6556 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34282 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 18912
/proc/meminfo: memFree=1243120/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1.31
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9136 0 1 0 119 12 0 0 25 0 8 0 271755149 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8873 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.19
/proc/18904/task/18910/stat : 18910 (java) R 18902 18904 18836 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464

[startup+2.97996 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240624/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=2.93
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9174 0 1 0 280 13 0 0 25 0 8 0 271755149 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8910 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 271755153 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.23
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 395 0 0 0 21 2 0 0 16 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 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) 915464

[startup+6.25927 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240432/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=6.18
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9186 0 1 0 605 13 0 0 25 0 8 0 271755149 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8919 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 271755153 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464

[startup+12.7479 s]
/proc/loadavg: 1.94 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240432/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=12.59
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9193 0 1 0 1246 13 0 0 25 0 8 0 271755149 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8926 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464

[startup+25.6071 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240432/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=25.32
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9200 0 1 0 2518 14 0 0 25 0 8 0 271755149 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8931 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915464

[startup+51.2125 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240496/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=50.68
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9205 0 1 0 5054 14 0 0 25 0 8 0 271755149 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8936 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915464

[startup+102.42 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240496/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=101.42
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9208 0 1 0 10128 14 0 0 25 0 8 0 271755149 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8939 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915464

[startup+162.476 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240496/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=160.94
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9213 0 1 0 16079 15 0 0 25 0 8 0 271755149 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1116.45
Current children cumulated vsize (KiB) 915464

[startup+1183.09 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 18974
/proc/meminfo: memFree=1270824/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1176.2
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 117597 23 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1176.2
Current children cumulated vsize (KiB) 915464

[startup+1243.11 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1235.94
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 123571 23 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1235.94
Current children cumulated vsize (KiB) 915464

[startup+1303.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1295.69
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 129545 24 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1295.69
Current children cumulated vsize (KiB) 915464

[startup+1363.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1355.43
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 135519 24 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1355.43
Current children cumulated vsize (KiB) 915464

[startup+1423.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1415.18
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 141493 25 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1415.18
Current children cumulated vsize (KiB) 915464

[startup+1483.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270696/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1474.92
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 147467 25 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.92
Current children cumulated vsize (KiB) 915464

[startup+1543.25 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270696/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1534.68
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 153442 26 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.68
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 1577.34
CPU time (s): 1568.58
CPU user time (s): 1568.31
CPU system time (s): 0.269958
CPU usage (%): 99.4441
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1568.31
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9323
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= 33039
involuntary context switches= 81058

runsolver used 1.77773 s user time and 4.30835 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Jan 19 19:06:42 UTC 2007


IDJOB= 276221
IDBENCH= 5468
IDSOLVER= 69
FILE ID= node14/276221-1169233602

PBS_JOBID= 3589005

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276221-1169233602/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-276221-1169233602 -o ROOT/results/node14/solver-276221-1169233602 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276221-1169233602/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5e9f67184886c7a7c73ebe1fd2f6af54

RANDOM SEED= 425343802

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.227
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.227
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:       1266888 kB
Buffers:         50588 kB
Cached:         575888 kB
SwapCached:       3272 kB
Active:         228800 kB
Inactive:       483636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1266888 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            2100 kB
Writeback:           0 kB
Mapped:         103580 kB
Slab:            61300 kB
Committed_AS:  9425872 kB
PageTables:       2344 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= 66561 MiB



End job on node14 on Fri Jan 19 19:33:00 UTC 2007