Trace number 275437

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.06 2402.64

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-28_ext.xml
MD5SUM4c91fefd53653d8673a7beea1012dd0e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints333
Best CPU time to get the best result obtained on this benchmark142.044
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints334
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension334
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=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275437-1169221921/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.39	       =>  wckTime=0.094  cpuTime=0.08  mem=6M887
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=334  nbRelationTypes=334  nbExtensionStructures=334  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=334  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2863  maxDegree=22
0.59	     maxArity=2
0.59	       =>  wckTime=0.301  cpuTime=0.22  mem=12M739
0.63	   
0.63	   solver LocalSearchSolver being built... 
0.67	       =>  wckTime=0.384  cpuTime=0.26  mem=6M53
0.68	
0.68	s SATISFIABLE
0.68	o 249
0.68	c 85
0.68	o 254
0.68	c 80
0.68	o 259
0.68	c 75
0.69	o 264
0.69	c 70
0.69	o 270
0.69	c 64
0.69	o 272
0.69	c 62
0.69	o 277
0.69	c 57
0.69	o 281
0.69	c 53
0.69	o 283
0.69	c 51
0.69	o 285
0.69	c 49
0.69	o 289
0.69	c 45
0.69	o 292
0.69	c 42
0.69	o 295
0.69	c 39
0.69	o 297
0.69	c 37
0.70	o 301
0.70	c 33
0.70	o 303
0.70	c 31
0.70	o 304
0.70	c 30
0.70	o 305
0.70	c 29
0.70	o 306
0.70	c 28
0.70	o 307
0.70	c 27
0.70	o 308
0.70	c 26
0.70	o 310
0.70	c 24
0.70	o 311
0.70	c 23
0.71	o 312
0.71	c 22
0.71	o 314
0.71	c 20
0.71	o 316
0.71	c 18
0.71	o 317
0.71	c 17
0.72	o 318
0.72	c 16
0.72	o 319
0.72	c 15
0.72	o 320
0.72	c 14
0.72	o 321
0.72	c 13
0.72	o 323
0.72	c 11
0.73	o 324
0.73	c 10
0.75	o 326
0.75	c 8
0.75	o 327
0.75	c 7
0.76	o 328
0.76	c 6
0.76	o 329
0.76	c 5
0.93	o 330
0.93	c 4
0.97	o 331
0.97	c 3
0.98	o 332
0.98	c 2
3.81	   
3.81	   search
3.81	     run=0  nbConstraintChecks=24689409  nbAssignments=10000
3.81	       =>  wckTime=3.14  cpuTime=3.12  mem=6M53
7.04	   
7.04	   search
7.04	     run=1  nbConstraintChecks=50689033  nbAssignments=20000
7.04	       =>  wckTime=6.365  cpuTime=6.33  mem=6M53
10.09	   
10.09	   search
10.09	     run=2  nbConstraintChecks=75072176  nbAssignments=30000
10.09	       =>  wckTime=9.412  cpuTime=9.38  mem=6M53
13.29	   
13.29	   search
13.29	     run=3  nbConstraintChecks=101060741  nbAssignments=40000
13.29	       =>  wckTime=12.615  cpuTime=12.58  mem=6M53
15.89	o 333
15.89	c 1
15.89	   
15.89	   search
15.89	     run=4  nbConstraintChecks=121476504  nbAssignments=49156
15.89	       =>  wckTime=15.218  cpuTime=15.16  mem=6M53
15.89	   
15.89	   global
15.89	     nbConstraintChecks=121476504  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
15.89	     solvingWckTime=15.216  solvingCpuTime=15.16  expiredTime=no  totalExploration=no  nbFoundSolutions=0
15.89	     globalCpuTime=15.46
15.89	       =>  wckTime=15.603  cpuTime=15.42  mem=6M53
15.89	   
15.89	   solver IterativeSystematicSolver being built... 
16.01	       =>  wckTime=15.724  cpuTime=15.52  mem=16M945
16.11	   
16.11	   preprocessing
16.11	     nbConstraintChecks=141997  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
16.11	     detectedInconsistency=no
16.11	       =>  wckTime=0.092  cpuTime=0.06  mem=16M945
16.16	   
16.16	   search
16.16	     run=0  nbConstraintChecks=176809  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=40
16.16	     nbFailedAssignments=23  nbBacktracks=10  nbVisitedNodes=74  nbRestartNogoods=0
16.16	       =>  wckTime=0.144  cpuTime=0.11  mem=16M945
16.23	   
16.23	   search
16.23	     run=1  nbConstraintChecks=418308  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=83
16.23	     nbFailedAssignments=45  nbBacktracks=25  nbVisitedNodes=154  nbRestartNogoods=7
16.23	       =>  wckTime=0.215  cpuTime=0.17  mem=16M945
16.31	   
16.31	   search
16.31	     run=2  nbConstraintChecks=734670  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=144
16.31	     nbFailedAssignments=78  nbBacktracks=47  nbVisitedNodes=270  nbRestartNogoods=20
16.31	       =>  wckTime=0.296  cpuTime=0.25  mem=16M945
16.43	   
16.43	   search
16.43	     run=3  nbConstraintChecks=1220428  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=234
16.43	     nbFailedAssignments=131  nbBacktracks=80  nbVisitedNodes=446  nbRestartNogoods=41
16.43	       =>  wckTime=0.409  cpuTime=0.36  mem=16M945
16.61	   
16.61	   search
16.61	     run=4  nbConstraintChecks=2038613  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=371
16.61	     nbFailedAssignments=214  nbBacktracks=130  nbVisitedNodes=716  nbRestartNogoods=54
16.61	       =>  wckTime=0.596  cpuTime=0.55  mem=16M945
16.83	   
16.83	   search
16.83	     run=5  nbConstraintChecks=3111094  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=584
16.83	     nbFailedAssignments=344  nbBacktracks=205  nbVisitedNodes=1134  nbRestartNogoods=71
16.83	       =>  wckTime=0.818  cpuTime=0.77  mem=16M945
17.23	   
17.23	   search
17.23	     run=6  nbConstraintChecks=4791505  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=920
17.23	     nbFailedAssignments=561  nbBacktracks=318  nbVisitedNodes=1793  nbRestartNogoods=91
17.23	       =>  wckTime=1.21  cpuTime=1.16  mem=16M945
17.78	   
17.78	   search
17.78	     run=7  nbConstraintChecks=7320935  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1398
17.78	     nbFailedAssignments=862  nbBacktracks=488  nbVisitedNodes=2732  nbRestartNogoods=106
17.78	       =>  wckTime=1.767  cpuTime=1.71  mem=16M945
18.52	   
18.52	   search
18.52	     run=8  nbConstraintChecks=10903022  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2091
18.52	     nbFailedAssignments=1291  nbBacktracks=744  nbVisitedNodes=4099  nbRestartNogoods=146
18.52	       =>  wckTime=2.501  cpuTime=2.44  mem=16M945
19.53	   
19.53	   search
19.53	     run=9  nbConstraintChecks=15738220  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3092
19.53	     nbFailedAssignments=1902  nbBacktracks=1128  nbVisitedNodes=6071  nbRestartNogoods=197
19.53	       =>  wckTime=3.518  cpuTime=3.45  mem=16M945
21.38	   
21.38	   search
21.38	     run=10  nbConstraintChecks=24659301  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4711
21.38	     nbFailedAssignments=2939  nbBacktracks=1704  nbVisitedNodes=9251  nbRestartNogoods=227
21.38	       =>  wckTime=5.361  cpuTime=5.28  mem=16M945
24.36	   
24.36	   search
24.36	     run=11  nbConstraintChecks=37639540  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7022
24.36	     nbFailedAssignments=4382  nbBacktracks=2568  nbVisitedNodes=13703  nbRestartNogoods=246
24.36	       =>  wckTime=8.34  cpuTime=8.26  mem=16M945
28.21	   
28.21	   search
28.21	     run=12  nbConstraintChecks=55701984  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10327
28.21	     nbFailedAssignments=6385  nbBacktracks=3866  nbVisitedNodes=20136  nbRestartNogoods=258
28.21	       =>  wckTime=12.196  cpuTime=12.11  mem=16M945
34.12	   
34.12	   search
34.12	     run=13  nbConstraintChecks=82933131  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15147
34.12	     nbFailedAssignments=9254  nbBacktracks=5812  nbVisitedNodes=29201  nbRestartNogoods=281
34.12	       =>  wckTime=18.099  cpuTime=18.01  mem=16M945
41.56	   
41.56	   search
41.56	     run=14  nbConstraintChecks=116304705  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21390
41.56	     nbFailedAssignments=12572  nbBacktracks=8731  nbVisitedNodes=40115  nbRestartNogoods=311
41.56	       =>  wckTime=25.54  cpuTime=25.45  mem=16M945
52.56	   
52.56	   search
52.56	     run=15  nbConstraintChecks=165355410  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30750
52.56	     nbFailedAssignments=17549  nbBacktracks=13110  nbVisitedNodes=56368  nbRestartNogoods=332
52.56	       =>  wckTime=36.54  cpuTime=36.43  mem=16M945
67.15	   
67.15	   search
67.15	     run=16  nbConstraintChecks=230285699  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=43517
67.15	     nbFailedAssignments=23743  nbBacktracks=19678  nbVisitedNodes=77412  nbRestartNogoods=365
67.15	       =>  wckTime=51.138  cpuTime=51.0  mem=16M945
87.28	   
87.28	   search
87.28	     run=17  nbConstraintChecks=319110051  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=61359
87.28	     nbFailedAssignments=31729  nbBacktracks=29530  nbVisitedNodes=105734  nbRestartNogoods=371
87.28	       =>  wckTime=71.267  cpuTime=71.12  mem=16M945
119.12	   
119.12	   search
119.12	     run=18  nbConstraintChecks=461987533  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=89307
119.12	     nbFailedAssignments=44895  nbBacktracks=44308  nbVisitedNodes=150809  nbRestartNogoods=403
119.12	       =>  wckTime=103.106  cpuTime=102.92  mem=16M945
164.03	   
164.03	   search
164.03	     run=19  nbConstraintChecks=660049123  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=128610
164.03	     nbFailedAssignments=62024  nbBacktracks=66476  nbVisitedNodes=212473  nbRestartNogoods=423
164.03	       =>  wckTime=148.014  cpuTime=147.78  mem=16M945
229.96	   
229.96	   search
229.96	     run=20  nbConstraintChecks=954110123  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=187799
229.96	     nbFailedAssignments=87957  nbBacktracks=99730  nbVisitedNodes=305035  nbRestartNogoods=445
229.96	       =>  wckTime=213.949  cpuTime=213.66  mem=16M945
326.98	   
326.98	   search
326.98	     run=21  nbConstraintChecks=1374660906  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=274369
326.98	     nbFailedAssignments=124645  nbBacktracks=149608  nbVisitedNodes=438633  nbRestartNogoods=473
326.98	       =>  wckTime=310.961  cpuTime=310.57  mem=16M945
476.23	   
476.23	   search
476.23	     run=22  nbConstraintChecks=2030443588  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=407022
476.23	     nbFailedAssignments=182474  nbBacktracks=224426  nbVisitedNodes=646156  nbRestartNogoods=507
476.23	       =>  wckTime=460.211  cpuTime=459.66  mem=16M945
697.19	   
697.19	   search
697.19	     run=23  nbConstraintChecks=3006623008  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=605355
697.19	     nbFailedAssignments=268574  nbBacktracks=336653  nbVisitedNodes=955533  nbRestartNogoods=544
697.19	       =>  wckTime=681.172  cpuTime=680.3  mem=16M945
1029.10	   
1029.10	   search
1029.10	     run=24  nbConstraintChecks=4446522589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=899562
1029.10	     nbFailedAssignments=394435  nbBacktracks=504994  nbVisitedNodes=1411815  nbRestartNogoods=573
1029.10	       =>  wckTime=1013.08  cpuTime=1011.89  mem=16M945
1541.60	   
1541.60	   search
1541.60	     run=25  nbConstraintChecks=6673381910  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1345036
1541.60	     nbFailedAssignments=587392  nbBacktracks=757505  nbVisitedNodes=2106094  nbRestartNogoods=626
1541.60	       =>  wckTime=1525.584  cpuTime=1523.88  mem=16M945
2302.89	   
2302.89	   search
2302.89	     run=26  nbConstraintChecks=10013663407  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2302.89	     nbAssignments=2012889  nbFailedAssignments=876472  nbBacktracks=1136273  nbVisitedNodes=3146342
2302.89	     nbRestartNogoods=648
2302.89	       =>  wckTime=2286.872  cpuTime=2284.4  mem=16M945
2402.62	v 2 14 0 3 10 8 16 2 3 11 4 5 5 6 5 3 18 10 1 11 14 12 2 5 6 10 13 0 15 11 5 4 2 17 18 0 11 11 8 14

Verifier Data (download as text)

1 unsatisfied constraints, 333 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/node5/watcher-275437-1169221921 -o ROOT/results/node5/solver-275437-1169221921 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275437-1169221921/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.89 1.97 1.99 4/86 11844
/proc/meminfo: memFree=1204968/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=172 CPUtime=0
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 250806524 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 0 0 0
/proc/11843/statm: 43 24 18 14 0 3 0

[startup+0.107449 s]
/proc/loadavg: 1.89 1.97 1.99 4/86 11844
/proc/meminfo: memFree=1204968/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=914988 CPUtime=0.09
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 3079 0 1 0 8 1 0 0 22 0 8 0 250806524 936947712 2825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228747 2825 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515495 s]
/proc/loadavg: 1.89 1.97 1.99 4/86 11844
/proc/meminfo: memFree=1204968/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915332 CPUtime=0.49
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 7014 0 1 0 45 4 0 0 25 0 8 0 250806524 937299968 6753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228833 6753 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33659 s]
/proc/loadavg: 1.89 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1182256/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=1.32
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 8344 0 1 0 120 12 0 0 25 0 8 0 250806524 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8082 2479 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915468 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 250806528 937439232 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.14
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464

[startup+2.97378 s]
/proc/loadavg: 1.89 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1182192/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2.95
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 8345 0 1 0 266 29 0 0 25 0 8 0 250806524 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8082 2479 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.14
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464

[startup+6.26815 s]
/proc/loadavg: 1.90 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=6.25
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 8348 0 1 0 558 67 0 0 25 0 8 0 250806524 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8085 2479 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.14
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 353 0 0 0 14 0 0 0 16 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915464

[startup+12.7429 s]
/proc/loadavg: 1.91 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=12.71
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 8348 0 1 0 1127 144 0 0 25 0 8 0 250806524 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8085 2479 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.14
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 353 0 0 0 14 0 0 0 16 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 937435136 8085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915464

[startup+25.6204 s]
/proc/loadavg: 1.92 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1179120/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=25.56
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9194 0 1 0 2374 182 0 0 25 0 8 0 250806524 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8927 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.24
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 250806531 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915464

[startup+51.2303 s]
/proc/loadavg: 1.95 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1179120/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=51.15
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9204 0 1 0 4933 182 0 0 25 0 8 0 250806524 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8935 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.24
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 250806531 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915464

[startup+102.447 s]
/proc/loadavg: 1.98 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1179056/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=102.31
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9214 0 1 0 10049 182 0 0 25 0 8 0 250806524 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8944 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 937435136 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915464

[startup+162.509 s]
/proc/loadavg: 1.99 1.97 1.99 3/93 11851
/proc/meminfo: memFree=1179056/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=162.3
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9217 0 1 0 16048 182 0 0 25 0 8 0 250806524 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073919022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 915464

[startup+2084.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12051
/proc/meminfo: memFree=1178800/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2082.34
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9236 0 1 0 208040 194 0 0 25 0 8 0 250806524 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920332 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8964 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 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) 2082.34
Current children cumulated vsize (KiB) 915464

[startup+2144.66 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12051
/proc/meminfo: memFree=1178736/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2142.35
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9236 0 1 0 214041 194 0 0 25 0 8 0 250806524 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8964 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 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) 2142.35
Current children cumulated vsize (KiB) 915464

[startup+2204.72 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12051
/proc/meminfo: memFree=1178800/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2202.36
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9236 0 1 0 220042 194 0 0 25 0 8 0 250806524 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8964 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 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) 2202.36
Current children cumulated vsize (KiB) 915464

[startup+2264.78 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12051
/proc/meminfo: memFree=1178736/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2262.34
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9236 0 1 0 226040 194 0 0 25 0 8 0 250806524 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858350 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8964 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 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) 2262.34
Current children cumulated vsize (KiB) 915464

[startup+2324.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12051
/proc/meminfo: memFree=1178800/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2322.36
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9238 0 1 0 232042 194 0 0 25 0 8 0 250806524 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8966 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 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) 2322.36
Current children cumulated vsize (KiB) 915464

[startup+2384.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12112
/proc/meminfo: memFree=1080064/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2382.37
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9238 0 1 0 238041 196 0 0 25 0 8 0 250806524 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8966 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 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) 2382.37
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12112
/proc/meminfo: memFree=1080128/2055920 swapFree=4192812/4192956
[pid=11843] ppid=11841 vsize=915464 CPUtime=2400.02
/proc/11843/stat : 11843 (java) R 11841 11843 11775 0 -1 0 9238 0 1 0 239806 196 0 0 25 0 8 0 250806524 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11843/statm: 228866 8966 2532 14 0 215336 0
[pid=11843/tid=11845] ppid=11841 vsize=915464 CPUtime=0.03
/proc/11843/task/11845/stat : 11845 (java) S 11841 11843 11775 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11846] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11846/stat : 11846 (java) S 11841 11843 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11847] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11847/stat : 11847 (java) S 11841 11843 11775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250806528 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11848] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11848/stat : 11848 (java) S 11841 11843 11775 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11849] ppid=11841 vsize=915464 CPUtime=0.25
/proc/11843/task/11849/stat : 11849 (java) S 11841 11843 11775 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11850] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11850/stat : 11850 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 250806531 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11843/tid=11851] ppid=11841 vsize=915464 CPUtime=0
/proc/11843/task/11851/stat : 11851 (java) S 11841 11843 11775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250806531 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) 2400.02
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2402.64
CPU time (s): 2400.06
CPU user time (s): 2398.09
CPU system time (s): 1.9737
CPU usage (%): 99.8925
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.09
system time used= 1.9737
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9261
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= 49877
involuntary context switches= 66501

runsolver used 3.15352 s user time and 7.49786 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Fri Jan 19 15:52:01 UTC 2007


IDJOB= 275437
IDBENCH= 3895
IDSOLVER= 68
FILE ID= node5/275437-1169221921

PBS_JOBID= 3588949

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4c91fefd53653d8673a7beea1012dd0e

RANDOM SEED= 795573283

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.240
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.240
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:       1205448 kB
Buffers:         60284 kB
Cached:         662760 kB
SwapCached:          0 kB
Active:         214472 kB
Inactive:       558948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1205448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2080 kB
Writeback:           0 kB
Mapped:          70700 kB
Slab:            62124 kB
Committed_AS:  6755024 kB
PageTables:       2120 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= 66559 MiB



End job on node5 on Fri Jan 19 16:32:04 UTC 2007