Trace number 275402

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 887.242 895.229

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-1_ext.xml
MD5SUM745238c24d77c42b64b045bb1e956fec
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints345
Best CPU time to get the best result obtained on this benchmark125.638
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints346
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension346
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275402-1169221310/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.39	       =>  wckTime=0.098  cpuTime=0.08  mem=6M910
0.39	   
0.39	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.60	     nbConstraints=346  nbRelationTypes=346  nbExtensionStructures=346  nbSharedExtensionStructures=0
0.60	     nbConflictsStructures=346  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3145  maxDegree=24
0.60	     maxArity=2
0.60	       =>  wckTime=0.31  cpuTime=0.21  mem=13M739
0.65	   
0.65	   solver LocalSearchSolver being built... 
0.69	       =>  wckTime=0.395  cpuTime=0.25  mem=6M71
0.70	
0.70	s SATISFIABLE
0.70	o 261
0.70	c 85
0.70	o 266
0.70	c 80
0.70	o 272
0.70	c 74
0.70	o 275
0.70	c 71
0.70	o 277
0.70	c 69
0.70	o 280
0.70	c 66
0.70	o 283
0.70	c 63
0.70	o 285
0.70	c 61
0.70	o 288
0.70	c 58
0.70	o 290
0.70	c 56
0.71	o 293
0.71	c 53
0.71	o 295
0.71	c 51
0.71	o 296
0.71	c 50
0.71	o 297
0.71	c 49
0.71	o 298
0.71	c 48
0.71	o 300
0.71	c 46
0.71	o 302
0.71	c 44
0.71	o 305
0.71	c 41
0.71	o 307
0.71	c 39
0.71	o 309
0.71	c 37
0.71	o 310
0.71	c 36
0.72	o 311
0.72	c 35
0.72	o 314
0.72	c 32
0.72	o 315
0.72	c 31
0.72	o 317
0.72	c 29
0.72	o 319
0.72	c 27
0.72	o 321
0.72	c 25
0.72	o 322
0.72	c 24
0.72	o 324
0.72	c 22
0.72	o 325
0.72	c 21
0.73	o 326
0.73	c 20
0.73	o 327
0.73	c 19
0.74	o 329
0.74	c 17
0.74	o 330
0.74	c 16
0.74	o 331
0.74	c 15
0.75	o 332
0.75	c 14
0.76	o 333
0.76	c 13
0.76	o 334
0.76	c 12
0.76	o 335
0.76	c 11
0.77	o 336
0.77	c 10
0.77	o 337
0.77	c 9
0.77	o 338
0.77	c 8
0.78	o 339
0.78	c 7
0.85	o 340
0.85	c 6
0.91	o 341
0.91	c 5
1.05	o 342
1.05	c 4
1.05	o 343
1.05	c 3
1.11	o 344
1.11	c 2
2.98	o 345
2.98	c 1
2.98	   
2.98	   search
2.98	     run=0  nbConstraintChecks=17170681  nbAssignments=7367
2.98	       =>  wckTime=2.29  cpuTime=2.25  mem=6M71
2.98	   
2.98	   global
2.98	     nbConstraintChecks=17170681  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2.98	     solvingWckTime=2.288  solvingCpuTime=2.24  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2.98	     globalCpuTime=2.56
2.98	       =>  wckTime=2.686  cpuTime=2.5  mem=6M71
2.98	   
2.98	   solver IterativeSystematicSolver being built... 
3.10	       =>  wckTime=2.808  cpuTime=2.6  mem=16M946
3.11	   
3.11	   preprocessing
3.11	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.11	     detectedInconsistency=no
3.11	       =>  wckTime=0.0060  cpuTime=0.01  mem=16M946
3.18	   
3.18	   search
3.18	     run=0  nbConstraintChecks=132934  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=29
3.18	     nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=52  nbRestartNogoods=0
3.18	       =>  wckTime=0.077  cpuTime=0.06  mem=16M946
3.28	   
3.28	   search
3.28	     run=1  nbConstraintChecks=430555  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=95
3.28	     nbFailedAssignments=56  nbBacktracks=25  nbVisitedNodes=177  nbRestartNogoods=11
3.28	       =>  wckTime=0.179  cpuTime=0.14  mem=16M946
3.37	   
3.37	   search
3.37	     run=2  nbConstraintChecks=822399  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=180
3.37	     nbFailedAssignments=113  nbBacktracks=47  nbVisitedNodes=341  nbRestartNogoods=20
3.37	       =>  wckTime=0.271  cpuTime=0.23  mem=16M946
3.52	   
3.52	   search
3.52	     run=3  nbConstraintChecks=1502380  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=316
3.52	     nbFailedAssignments=210  nbBacktracks=80  nbVisitedNodes=607  nbRestartNogoods=26
3.52	       =>  wckTime=0.418  cpuTime=0.37  mem=16M946
3.71	   
3.71	   search
3.71	     run=4  nbConstraintChecks=2346584  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=488
3.71	     nbFailedAssignments=326  nbBacktracks=130  nbVisitedNodes=945  nbRestartNogoods=39
3.71	       =>  wckTime=0.607  cpuTime=0.56  mem=16M946
4.01	   
4.01	   search
4.01	     run=5  nbConstraintChecks=3728478  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=747
4.01	     nbFailedAssignments=503  nbBacktracks=205  nbVisitedNodes=1456  nbRestartNogoods=61
4.01	       =>  wckTime=0.902  cpuTime=0.85  mem=16M946
4.43	   
4.43	   search
4.43	     run=6  nbConstraintChecks=5598092  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1130
4.43	     nbFailedAssignments=767  nbBacktracks=318  nbVisitedNodes=2216  nbRestartNogoods=83
4.43	       =>  wckTime=1.324  cpuTime=1.26  mem=16M946
4.97	   
4.97	   search
4.97	     run=7  nbConstraintChecks=8146947  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1646
4.97	     nbFailedAssignments=1107  nbBacktracks=488  nbVisitedNodes=3242  nbRestartNogoods=95
4.97	       =>  wckTime=1.87  cpuTime=1.79  mem=16M946
6.10	   
6.10	   search
6.10	     run=8  nbConstraintChecks=13270479  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2634
6.10	     nbFailedAssignments=1832  nbBacktracks=744  nbVisitedNodes=5209  nbRestartNogoods=113
6.10	       =>  wckTime=3.0  cpuTime=2.9  mem=16M946
7.39	   
7.39	   search
7.39	     run=9  nbConstraintChecks=19379427  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3817
7.39	     nbFailedAssignments=2623  nbBacktracks=1128  nbVisitedNodes=7567  nbRestartNogoods=156
7.39	       =>  wckTime=4.286  cpuTime=4.17  mem=16M946
9.32	   
9.32	   search
9.32	     run=10  nbConstraintChecks=28328954  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5674
9.32	     nbFailedAssignments=3897  nbBacktracks=1704  nbVisitedNodes=11271  nbRestartNogoods=188
9.32	       =>  wckTime=6.221  cpuTime=6.08  mem=16M946
12.01	   
12.01	   search
12.01	     run=11  nbConstraintChecks=40528978  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8107
12.01	     nbFailedAssignments=5459  nbBacktracks=2568  nbVisitedNodes=16080  nbRestartNogoods=224
12.01	       =>  wckTime=8.91  cpuTime=8.73  mem=16M946
16.00	   
16.00	   search
16.00	     run=12  nbConstraintChecks=58843028  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11756
16.00	     nbFailedAssignments=7804  nbBacktracks=3865  nbVisitedNodes=23284  nbRestartNogoods=258
16.00	       =>  wckTime=12.894  cpuTime=12.67  mem=16M946
22.38	   
22.38	   search
22.38	     run=13  nbConstraintChecks=85560056  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16640
22.38	     nbFailedAssignments=10734  nbBacktracks=5811  nbVisitedNodes=32651  nbRestartNogoods=270
22.38	       =>  wckTime=19.28  cpuTime=19.01  mem=16M946
31.02	   
31.02	   search
31.02	     run=14  nbConstraintChecks=121922546  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23326
31.02	     nbFailedAssignments=14493  nbBacktracks=8730  nbVisitedNodes=44946  nbRestartNogoods=287
31.02	       =>  wckTime=27.921  cpuTime=27.57  mem=16M946
42.71	   
42.71	   search
42.71	     run=15  nbConstraintChecks=170753234  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32607
42.71	     nbFailedAssignments=19389  nbBacktracks=13109  nbVisitedNodes=61310  nbRestartNogoods=305
42.71	       =>  wckTime=39.611  cpuTime=39.17  mem=16M946
57.69	   
57.69	   search
57.69	     run=16  nbConstraintChecks=233669090  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=44902
57.69	     nbFailedAssignments=25110  nbBacktracks=19678  nbVisitedNodes=81363  nbRestartNogoods=320
57.69	       =>  wckTime=54.59  cpuTime=54.0  mem=16M946
77.79	   
77.79	   search
77.79	     run=17  nbConstraintChecks=319018849  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=62409
77.79	     nbFailedAssignments=32757  nbBacktracks=29531  nbVisitedNodes=109196  nbRestartNogoods=329
77.79	       =>  wckTime=74.687  cpuTime=73.93  mem=16M946
106.61	   
106.61	   search
106.61	     run=18  nbConstraintChecks=443271840  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=87550
106.61	     nbFailedAssignments=43114  nbBacktracks=44309  nbVisitedNodes=147822  nbRestartNogoods=339
106.61	       =>  wckTime=103.508  cpuTime=102.46  mem=16M946
147.52	   
147.52	   search
147.52	     run=19  nbConstraintChecks=619672659  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=124371
147.52	     nbFailedAssignments=57757  nbBacktracks=66479  nbVisitedNodes=203455  nbRestartNogoods=354
147.52	       =>  wckTime=144.415  cpuTime=143.0  mem=16M946
203.52	   
203.52	   search
203.52	     run=20  nbConstraintChecks=866188835  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=178686
203.52	     nbFailedAssignments=78811  nbBacktracks=99732  nbVisitedNodes=284838  nbRestartNogoods=364
203.52	       =>  wckTime=200.419  cpuTime=198.51  mem=16M946
290.74	   
290.74	   search
290.74	     run=21  nbConstraintChecks=1247283051  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=259926
290.74	     nbFailedAssignments=110163  nbBacktracks=149610  nbVisitedNodes=406281  nbRestartNogoods=386
290.74	       =>  wckTime=287.639  cpuTime=284.96  mem=16M946
418.82	   
418.82	   search
418.82	     run=22  nbConstraintChecks=1809845339  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=381090
418.82	     nbFailedAssignments=156501  nbBacktracks=224428  nbVisitedNodes=586765  nbRestartNogoods=401
418.82	       =>  wckTime=415.716  cpuTime=411.91  mem=16M946
616.63	   
616.63	   search
616.63	     run=23  nbConstraintChecks=2665711471  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=561490
616.63	     nbFailedAssignments=224669  nbBacktracks=336655  nbVisitedNodes=853890  nbRestartNogoods=432
616.63	       =>  wckTime=613.527  cpuTime=607.99  mem=16M946
895.17	   
895.17	   search
895.17	     run=24  nbConstraintChecks=3872405571  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=812320
895.17	     nbFailedAssignments=321651  nbBacktracks=490504  nbVisitedNodes=1228422  nbRestartNogoods=444
895.17	       =>  wckTime=892.063  cpuTime=884.06  mem=16M946
895.17	   
895.17	   global
895.17	     nbConstraintChecks=3872405571  nbRestartNogoods=444  solvingWckTime=892.064  solvingCpuTime=884.07  expiredTime=no
895.17	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=886.73
895.17	       =>  wckTime=894.874  cpuTime=886.67  mem=16M946
895.17	
895.17	s OPTIMUM FOUND
895.17	v 8 9 18 14 12 5 5 2 10 15 15 8 9 3 15 5 14 18 2 6 12 0 10 10 16 0 7 18 6 6 14 10 8 6 11 8 16 7 13 0 
895.17	   
895.17	   totalWckTime=894.95  totalCpuTime=886.73

Verifier Data (download as text)

1 unsatisfied constraints, 345 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/node9/watcher-275402-1169221310 -o ROOT/results/node9/solver-275402-1169221310 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275402-1169221310/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.77 1.96 1.98 4/94 24856
/proc/meminfo: memFree=1323224/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=18540 CPUtime=0
/proc/24855/stat : 24855 (runsolver) R 24853 24855 23863 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270526250 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24855/statm: 4635 279 244 17 0 2626 0

[startup+0.102932 s]
/proc/loadavg: 1.77 1.96 1.98 4/94 24856
/proc/meminfo: memFree=1323224/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=914988 CPUtime=0.08
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 3012 0 1 0 7 1 0 0 24 0 8 0 270526250 936947712 2758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155069664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228747 2758 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510978 s]
/proc/loadavg: 1.77 1.96 1.98 4/94 24856
/proc/meminfo: memFree=1323224/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915332 CPUtime=0.48
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 6944 0 1 0 45 3 0 0 25 0 8 0 270526250 937299968 6683 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228833 6683 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33207 s]
/proc/loadavg: 1.77 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1300320/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=1.29
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 8375 0 1 0 116 13 0 0 25 0 8 0 270526250 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8113 2476 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 295 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.15
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464

[startup+2.97825 s]
/proc/loadavg: 1.79 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1300256/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=2.94
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 8376 0 1 0 263 31 0 0 25 0 8 0 270526250 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775833 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8113 2476 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 295 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.15
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464

[startup+6.27763 s]
/proc/loadavg: 1.79 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1297248/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=6.2
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9190 0 1 0 588 32 0 0 25 0 8 0 270526250 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8924 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 17 0 8 0 270526254 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.24
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464

[startup+12.7524 s]
/proc/loadavg: 1.82 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1297256/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=12.59
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9205 0 1 0 1227 32 0 0 25 0 8 0 270526250 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869362 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8936 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464

[startup+25.5948 s]
/proc/loadavg: 1.85 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1297320/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=25.33
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9210 0 1 0 2501 32 0 0 25 0 8 0 270526250 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8941 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915464

[startup+51.1967 s]
/proc/loadavg: 1.97 1.98 1.99 3/101 24863
/proc/meminfo: memFree=1297320/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=50.72
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9215 0 1 0 5040 32 0 0 25 0 8 0 270526250 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8946 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915464

[startup+102.418 s]
/proc/loadavg: 1.99 1.98 1.99 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=101.44
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9221 0 1 0 10112 32 0 0 25 0 8 0 270526250 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8952 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464

[startup+162.468 s]
/proc/loadavg: 2.07 1.99 1.99 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=160.97
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9226 0 1 0 16064 33 0 0 25 0 8 0 270526250 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.5
Current children cumulated vsize (KiB) 915464

[startup+522.698 s]
/proc/loadavg: 2.09 2.03 2.00 3/101 24863
/proc/meminfo: memFree=1297448/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=518.01
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9235 0 1 0 51767 34 0 0 25 0 8 0 270526250 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8964 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.01
Current children cumulated vsize (KiB) 915464

[startup+582.756 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 24863
/proc/meminfo: memFree=1297448/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=577.57
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9235 0 1 0 57722 35 0 0 25 0 8 0 270526250 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8964 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.57
Current children cumulated vsize (KiB) 915464

[startup+642.822 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=637.09
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 63674 35 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.09
Current children cumulated vsize (KiB) 915464

[startup+702.893 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=696.63
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 69628 35 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.63
Current children cumulated vsize (KiB) 915464

[startup+762.965 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=756.19
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 75583 36 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 756.19
Current children cumulated vsize (KiB) 915464

[startup+823.034 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 24863
/proc/meminfo: memFree=1297448/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=815.71
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 81535 36 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 815.71
Current children cumulated vsize (KiB) 915464

[startup+883.1 s]
/proc/loadavg: 2.02 2.02 2.00 4/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=875.25
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 87488 37 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 875.25
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 895.229
CPU time (s): 887.242
CPU user time (s): 886.865
CPU system time (s): 0.376942
CPU usage (%): 99.1079
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 886.865
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9333
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= 19327
involuntary context switches= 52613

runsolver used 1.08683 s user time and 2.45763 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Fri Jan 19 15:41:51 UTC 2007


IDJOB= 275402
IDBENCH= 3870
IDSOLVER= 69
FILE ID= node9/275402-1169221310

PBS_JOBID= 3588922

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275402-1169221310/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-275402-1169221310 -o ROOT/results/node9/solver-275402-1169221310 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275402-1169221310/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  745238c24d77c42b64b045bb1e956fec

RANDOM SEED= 822309461

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.231
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.231
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:       1323704 kB
Buffers:         57012 kB
Cached:         532552 kB
SwapCached:        268 kB
Active:         252596 kB
Inactive:       395860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1323704 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2400 kB
Writeback:           0 kB
Mapped:          78224 kB
Slab:            68380 kB
Committed_AS:  7821288 kB
PageTables:       2396 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= 66562 MiB



End job on node9 on Fri Jan 19 15:56:46 UTC 2007