Trace number 275420

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 733.834 739.942

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-13_ext.xml
MD5SUM2034b20f95b4ca3ea3b257a685963d8c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints341
Best CPU time to get the best result obtained on this benchmark275.149
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints342
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension342
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275420-1169221476/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.41	       =>  wckTime=0.098  cpuTime=0.09  mem=6M910
0.41	   
0.41	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.62	     nbConstraints=342  nbRelationTypes=342  nbExtensionStructures=342  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=342  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3068  maxDegree=24
0.62	     maxArity=2
0.62	       =>  wckTime=0.306  cpuTime=0.23  mem=12M761
0.66	   
0.66	   solver LocalSearchSolver being built... 
0.70	       =>  wckTime=0.394  cpuTime=0.27  mem=6M64
0.71	
0.71	s SATISFIABLE
0.71	o 243
0.71	c 99
0.71	o 249
0.71	c 93
0.71	o 254
0.71	c 88
0.71	o 258
0.71	c 84
0.72	o 264
0.72	c 78
0.72	o 270
0.72	c 72
0.72	o 273
0.72	c 69
0.72	o 278
0.72	c 64
0.72	o 283
0.72	c 59
0.72	o 288
0.72	c 54
0.72	o 291
0.72	c 51
0.72	o 294
0.72	c 48
0.72	o 296
0.72	c 46
0.72	o 297
0.72	c 45
0.73	o 298
0.73	c 44
0.73	o 302
0.73	c 40
0.73	o 304
0.73	c 38
0.73	o 307
0.73	c 35
0.73	o 308
0.73	c 34
0.73	o 309
0.73	c 33
0.73	o 310
0.73	c 32
0.73	o 311
0.73	c 31
0.73	o 312
0.73	c 30
0.74	o 313
0.74	c 29
0.74	o 315
0.74	c 27
0.74	o 319
0.74	c 23
0.74	o 321
0.74	c 21
0.74	o 322
0.74	c 20
0.74	o 323
0.74	c 19
0.74	o 327
0.74	c 15
0.74	o 328
0.74	c 14
0.74	o 330
0.74	c 12
0.74	o 331
0.74	c 11
0.74	o 332
0.74	c 10
0.81	o 333
0.81	c 9
0.81	o 334
0.81	c 8
0.83	o 335
0.83	c 7
0.83	o 336
0.83	c 6
1.19	o 337
1.19	c 5
1.43	o 338
1.43	c 4
1.44	o 339
1.44	c 3
1.45	o 340
1.45	c 2
3.77	   
3.77	   search
3.77	     run=0  nbConstraintChecks=23423011  nbAssignments=10000
3.77	       =>  wckTime=3.071  cpuTime=3.02  mem=6M64
6.13	o 341
6.13	c 1
6.13	   
6.13	   search
6.13	     run=1  nbConstraintChecks=42168494  nbAssignments=17495
6.13	       =>  wckTime=5.425  cpuTime=5.36  mem=6M64
6.13	   
6.13	   global
6.13	     nbConstraintChecks=42168494  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
6.13	     solvingWckTime=5.423  solvingCpuTime=5.35  expiredTime=no  totalExploration=no  nbFoundSolutions=0
6.13	     globalCpuTime=5.67
6.13	       =>  wckTime=5.82  cpuTime=5.62  mem=6M64
6.13	   
6.13	   solver IterativeSystematicSolver being built... 
6.25	       =>  wckTime=5.941  cpuTime=5.72  mem=16M939
6.26	   
6.26	   preprocessing
6.26	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
6.26	     detectedInconsistency=no
6.26	       =>  wckTime=0.0070  cpuTime=0.0  mem=16M939
6.34	   
6.34	   search
6.34	     run=0  nbConstraintChecks=166793  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33
6.34	     nbFailedAssignments=17  nbBacktracks=10  nbVisitedNodes=61  nbRestartNogoods=0
6.34	       =>  wckTime=0.09  cpuTime=0.06  mem=16M939
6.43	   
6.43	   search
6.43	     run=1  nbConstraintChecks=442773  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=86
6.43	     nbFailedAssignments=49  nbBacktracks=25  nbVisitedNodes=161  nbRestartNogoods=7
6.43	       =>  wckTime=0.18  cpuTime=0.13  mem=16M939
6.52	   
6.52	   search
6.53	     run=2  nbConstraintChecks=860105  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=179
6.53	     nbFailedAssignments=113  nbBacktracks=47  nbVisitedNodes=340  nbRestartNogoods=15
6.53	       =>  wckTime=0.273  cpuTime=0.23  mem=16M939
6.64	   
6.64	   search
6.64	     run=3  nbConstraintChecks=1420018  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=301
6.64	     nbFailedAssignments=196  nbBacktracks=80  nbVisitedNodes=578  nbRestartNogoods=19
6.64	       =>  wckTime=0.393  cpuTime=0.34  mem=16M939
6.79	   
6.79	   search
6.79	     run=4  nbConstraintChecks=2085236  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=438
6.79	     nbFailedAssignments=278  nbBacktracks=130  nbVisitedNodes=847  nbRestartNogoods=50
6.79	       =>  wckTime=0.534  cpuTime=0.48  mem=16M939
7.02	   
7.02	   search
7.02	     run=5  nbConstraintChecks=3180100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=657
7.03	     nbFailedAssignments=416  nbBacktracks=205  nbVisitedNodes=1279  nbRestartNogoods=75
7.03	       =>  wckTime=0.774  cpuTime=0.72  mem=16M939
7.32	   
7.32	   search
7.32	     run=6  nbConstraintChecks=4537078  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=941
7.32	     nbFailedAssignments=580  nbBacktracks=318  nbVisitedNodes=1839  nbRestartNogoods=130
7.32	       =>  wckTime=1.07  cpuTime=1.01  mem=16M939
7.85	   
7.85	   search
7.85	     run=7  nbConstraintChecks=7039722  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1447
7.85	     nbFailedAssignments=908  nbBacktracks=488  nbVisitedNodes=2841  nbRestartNogoods=149
7.85	       =>  wckTime=1.6  cpuTime=1.53  mem=16M939
8.63	   
8.63	   search
8.63	     run=8  nbConstraintChecks=10813513  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2165
8.63	     nbFailedAssignments=1365  nbBacktracks=744  nbVisitedNodes=4272  nbRestartNogoods=203
8.63	       =>  wckTime=2.376  cpuTime=2.28  mem=16M939
9.79	   
9.79	   search
9.79	     run=9  nbConstraintChecks=16574051  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3284
9.79	     nbFailedAssignments=2093  nbBacktracks=1128  nbVisitedNodes=6503  nbRestartNogoods=236
9.79	       =>  wckTime=3.538  cpuTime=3.44  mem=16M939
11.58	   
11.58	   search
11.58	     run=10  nbConstraintChecks=25394026  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5011
11.58	     nbFailedAssignments=3238  nbBacktracks=1704  nbVisitedNodes=9951  nbRestartNogoods=259
11.58	       =>  wckTime=5.326  cpuTime=5.2  mem=16M939
14.28	   
14.28	   search
14.28	     run=11  nbConstraintChecks=38289651  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7465
14.28	     nbFailedAssignments=4822  nbBacktracks=2568  nbVisitedNodes=14846  nbRestartNogoods=296
14.28	       =>  wckTime=8.029  cpuTime=7.89  mem=16M939
18.25	   
18.25	   search
18.25	     run=12  nbConstraintChecks=57372187  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11356
18.25	     nbFailedAssignments=7410  nbBacktracks=3865  nbVisitedNodes=22612  nbRestartNogoods=324
18.25	       =>  wckTime=12.003  cpuTime=11.83  mem=16M939
24.56	   
24.56	   search
24.56	     run=13  nbConstraintChecks=87030333  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17089
24.56	     nbFailedAssignments=11190  nbBacktracks=5811  nbVisitedNodes=33966  nbRestartNogoods=359
24.56	       =>  wckTime=18.313  cpuTime=18.09  mem=16M939
34.61	   
34.61	   search
34.61	     run=14  nbConstraintChecks=129948542  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24925
34.61	     nbFailedAssignments=16101  nbBacktracks=8730  nbVisitedNodes=49162  nbRestartNogoods=373
34.61	       =>  wckTime=28.355  cpuTime=28.05  mem=16M939
47.36	   
47.36	   search
47.36	     run=15  nbConstraintChecks=186711995  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=35715
47.36	     nbFailedAssignments=22507  nbBacktracks=13108  nbVisitedNodes=69778  nbRestartNogoods=395
47.36	       =>  wckTime=41.107  cpuTime=40.69  mem=16M939
67.13	   
67.13	   search
67.13	     run=16  nbConstraintChecks=272331822  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51254
67.13	     nbFailedAssignments=31472  nbBacktracks=19677  nbVisitedNodes=98531  nbRestartNogoods=416
67.13	       =>  wckTime=60.874  cpuTime=60.3  mem=16M939
91.76	   
91.76	   search
91.76	     run=17  nbConstraintChecks=379916929  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=71374
91.76	     nbFailedAssignments=41735  nbBacktracks=29529  nbVisitedNodes=132998  nbRestartNogoods=429
91.76	       =>  wckTime=85.51  cpuTime=84.73  mem=16M939
122.12	   
122.12	   search
122.12	     run=18  nbConstraintChecks=514268842  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=98687
122.12	     nbFailedAssignments=54263  nbBacktracks=44309  nbVisitedNodes=177440  nbRestartNogoods=443
122.12	       =>  wckTime=115.867  cpuTime=114.85  mem=16M939
165.11	   
165.11	   search
165.11	     run=19  nbConstraintChecks=705672366  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=138892
165.11	     nbFailedAssignments=72294  nbBacktracks=66477  nbVisitedNodes=241272  nbRestartNogoods=450
165.11	       =>  wckTime=158.862  cpuTime=157.5  mem=16M939
224.71	   
224.71	   search
224.71	     run=20  nbConstraintChecks=974464075  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=195797
224.71	     nbFailedAssignments=95939  nbBacktracks=99729  nbVisitedNodes=329380  nbRestartNogoods=469
224.71	       =>  wckTime=218.455  cpuTime=216.6  mem=16M939
311.64	   
311.64	   search
311.64	     run=21  nbConstraintChecks=1365665961  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=279800
311.64	     nbFailedAssignments=130060  nbBacktracks=149607  nbVisitedNodes=457577  nbRestartNogoods=486
311.64	       =>  wckTime=305.387  cpuTime=302.83  mem=16M939
439.65	   
439.65	   search
439.65	     run=22  nbConstraintChecks=1942078859  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=403867
439.65	     nbFailedAssignments=179302  nbBacktracks=224425  nbVisitedNodes=644822  nbRestartNogoods=497
439.65	       =>  wckTime=433.402  cpuTime=429.83  mem=16M939
634.65	   
634.65	   search
634.65	     run=23  nbConstraintChecks=2818132566  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=591567
634.65	     nbFailedAssignments=254765  nbBacktracks=336655  nbVisitedNodes=929730  nbRestartNogoods=510
634.65	       =>  wckTime=628.403  cpuTime=623.23  mem=16M939
739.84	   
739.84	   search
739.84	     run=24  nbConstraintChecks=3290921671  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=696256
739.84	     nbFailedAssignments=295696  nbBacktracks=400414  nbVisitedNodes=1086722  nbRestartNogoods=526
739.84	       =>  wckTime=733.585  cpuTime=727.56  mem=16M939
739.84	   
739.84	   global
739.84	     nbConstraintChecks=3290921671  nbRestartNogoods=526  solvingWckTime=733.586  solvingCpuTime=727.56  expiredTime=no
739.84	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=733.33
739.84	       =>  wckTime=739.527  cpuTime=733.28  mem=16M939
739.84	
739.84	s OPTIMUM FOUND
739.84	v 7 13 15 7 10 13 3 8 14 15 7 3 14 7 7 4 15 1 15 7 15 10 16 16 3 8 13 18 15 11 11 14 14 7 14 16 6 3 8 0 
739.84	   
739.84	   totalWckTime=739.606  totalCpuTime=733.33

Verifier Data (download as text)

1 unsatisfied constraints, 341 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/node40/watcher-275420-1169221476 -o ROOT/results/node40/solver-275420-1169221476 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275420-1169221476/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: 0.85 0.97 1.07 3/68 30903
/proc/meminfo: memFree=1592376/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=168 CPUtime=0
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 270546955 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6910251 0 0 4096 0 0 0 0 17 1 0 0
/proc/30902/statm: 42 23 18 14 0 2 0

[startup+0.107147 s]
/proc/loadavg: 0.85 0.97 1.07 3/68 30903
/proc/meminfo: memFree=1592376/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=914988 CPUtime=0.08
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 3001 0 1 0 7 1 0 0 16 0 8 0 270546955 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30902/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515198 s]
/proc/loadavg: 0.85 0.97 1.07 3/68 30903
/proc/meminfo: memFree=1592376/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915332 CPUtime=0.49
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 6904 0 1 0 45 4 0 0 18 0 8 0 270546955 937299968 6643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228833 6643 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3363 s]
/proc/loadavg: 0.85 0.97 1.07 3/82 30975
/proc/meminfo: memFree=1564592/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915468 CPUtime=1.31
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 8364 0 1 0 117 14 0 0 21 0 8 0 270546955 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228867 8102 2476 14 0 215337 0
[pid=30902/tid=30904] ppid=30900 vsize=915468 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 296 0 0 0 3 0 0 0 17 0 8 0 270546960 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915468 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915468 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915468 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915468 CPUtime=0.14
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 350 0 0 0 13 1 0 0 16 0 8 0 270546963 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915468 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915468 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937439232 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915468

[startup+2.98651 s]
/proc/loadavg: 0.85 0.97 1.07 3/82 30975
/proc/meminfo: memFree=1564536/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=2.93
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 8365 0 1 0 257 36 0 0 25 0 8 0 270546955 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741857 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8102 2476 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.14
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 350 0 0 0 13 1 0 0 16 0 8 0 270546963 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464

[startup+6.28094 s]
/proc/loadavg: 0.94 0.98 1.08 3/82 30975
/proc/meminfo: memFree=1564280/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=6.2
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9108 0 1 0 547 73 0 0 25 0 8 0 270546955 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8845 2524 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.18
/proc/30902/task/30908/stat : 30908 (java) R 30900 30902 30802 0 -1 64 372 0 0 0 17 1 0 0 16 0 8 0 270546963 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153163842 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8845 18446744073709551615 134512640 134570532 4294956480 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.7618 s]
/proc/loadavg: 1.02 1.00 1.08 3/82 30975
/proc/meminfo: memFree=1561464/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=12.63
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9180 0 1 0 1189 74 0 0 25 0 8 0 270546955 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850569 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8913 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 408 0 0 0 23 1 0 0 15 0 8 0 270546963 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915464

[startup+25.5974 s]
/proc/loadavg: 1.24 1.05 1.10 3/81 30976
/proc/meminfo: memFree=1560704/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=25.37
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9189 0 1 0 2463 74 0 0 25 0 8 0 270546955 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862520 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8921 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464

[startup+51.2948 s]
/proc/loadavg: 1.50 1.12 1.12 3/81 30976
/proc/meminfo: memFree=1560704/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=50.84
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9196 0 1 0 5010 74 0 0 25 0 8 0 270546955 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856612 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8927 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915464

[startup+102.584 s]
/proc/loadavg: 1.78 1.26 1.16 3/81 30976
/proc/meminfo: memFree=1560704/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=101.72
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9201 0 1 0 10098 74 0 0 25 0 8 0 270546955 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911037 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8932 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) R 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915464

[startup+162.606 s]
/proc/loadavg: 1.92 1.39 1.21 3/81 30976
/proc/meminfo: memFree=1560768/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=161.26
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9204 0 1 0 16052 74 0 0 25 0 8 0 270546955 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.32
Current children cumulated vsize (KiB) 915464

[startup+342.665 s]
/proc/loadavg: 1.99 1.66 1.34 3/81 30976
/proc/meminfo: memFree=1560704/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=339.87
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9211 0 1 0 33912 75 0 0 25 0 8 0 270546955 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8941 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.87
Current children cumulated vsize (KiB) 915464

[startup+402.69 s]
/proc/loadavg: 1.99 1.72 1.38 3/81 30976
/proc/meminfo: memFree=1560704/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=399.39
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9211 0 1 0 39864 75 0 0 25 0 8 0 270546955 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8941 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.39
Current children cumulated vsize (KiB) 915464

[startup+462.713 s]
/proc/loadavg: 1.99 1.77 1.42 3/81 30976
/proc/meminfo: memFree=1560640/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=458.92
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9213 0 1 0 45817 75 0 0 25 0 8 0 270546955 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073910579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8943 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.92
Current children cumulated vsize (KiB) 915464

[startup+522.729 s]
/proc/loadavg: 1.99 1.81 1.45 3/81 30976
/proc/meminfo: memFree=1560640/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=518.46
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9213 0 1 0 51771 75 0 0 25 0 8 0 270546955 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073910624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8943 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.46
Current children cumulated vsize (KiB) 915464

[startup+582.742 s]
/proc/loadavg: 1.99 1.84 1.48 3/81 30976
/proc/meminfo: memFree=1560576/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=577.98
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9213 0 1 0 57723 75 0 0 25 0 8 0 270546955 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073909794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8943 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.98
Current children cumulated vsize (KiB) 915464

[startup+642.757 s]
/proc/loadavg: 2.11 1.90 1.52 3/81 30976
/proc/meminfo: memFree=1560576/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=637.52
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9216 0 1 0 63677 75 0 0 25 0 8 0 270546955 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8946 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.52
Current children cumulated vsize (KiB) 915464

[startup+702.771 s]
/proc/loadavg: 2.04 1.91 1.55 4/81 30976
/proc/meminfo: memFree=1560640/2055920 swapFree=4191892/4192956
[pid=30902] ppid=30900 vsize=915464 CPUtime=697.05
/proc/30902/stat : 30902 (java) R 30900 30902 30802 0 -1 0 9216 0 1 0 69630 75 0 0 25 0 8 0 270546955 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30902/statm: 228866 8946 2527 14 0 215336 0
[pid=30902/tid=30904] ppid=30900 vsize=915464 CPUtime=0.03
/proc/30902/task/30904/stat : 30904 (java) S 30900 30902 30802 0 -1 64 297 0 0 0 3 0 0 0 16 0 8 0 270546960 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270546960 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=915464 CPUtime=0.24
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30802 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30802 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=915464 CPUtime=0
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30802 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270546963 937435136 8946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 697.05
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 739.942
CPU time (s): 733.834
CPU user time (s): 733.069
CPU system time (s): 0.765883
CPU usage (%): 99.1746
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.069
system time used= 0.765883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9312
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= 16193
involuntary context switches= 31019

runsolver used 0.723889 s user time and 1.92071 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Fri Jan 19 15:44:36 UTC 2007


IDJOB= 275420
IDBENCH= 3883
IDSOLVER= 69
FILE ID= node40/275420-1169221476

PBS_JOBID= 3589188

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2034b20f95b4ca3ea3b257a685963d8c

RANDOM SEED= 859141009

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.239
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.239
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:       1592920 kB
Buffers:         40392 kB
Cached:         326540 kB
SwapCached:        268 kB
Active:         106696 kB
Inactive:       279676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1592920 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2176 kB
Writeback:           0 kB
Mapped:          28420 kB
Slab:            62368 kB
Committed_AS:  4915260 kB
PageTables:       1620 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= 66560 MiB



End job on node40 on Fri Jan 19 15:56:56 UTC 2007