Trace number 210300

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
Abscon 109 ESAC? (TO) 1800.08 1800.62

General information on the benchmark

NamepseudoSeries/fpga/
fpga-20-18.xml
MD5SUMc62051c26fe63d321e75c355a719406a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.67913
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables540
Number of constraints416
Maximum constraint arity20
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension416
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/210300-1168196608/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.45	     nbVariables=540  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.139  cpuTime=0.12  mem=8M25
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
0.71	     nbConstraints=416  nbConflictsStructures=2  nbSharedConflictsStructures=376  nbUnbuiltConflictsStructures=2
0.71	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=412  maxDegree=19  maxArity=20
0.71	       =>  wckTime=0.405  cpuTime=0.31  mem=21M678
0.76	   
0.76	   solver IterativeSystematicSolver being built... 
0.99	       =>  wckTime=0.685  cpuTime=0.49  mem=25M743
1.64	   
1.64	   preprocessing
1.64	     nbConstraintChecks=265464  nbValidityChecks=36881  nbPropagations=2175  nbRevisions=21794  nbUselessRevisions=21171
1.64	     nbSingletonTests=1032  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
1.64	       =>  wckTime=0.65  cpuTime=0.62  mem=26M718
2.51	   
2.51	   search
2.51	     run=0  nbConstraintChecks=271853  nbValidityChecks=1852  nbPropagations=2719  nbRevisions=23513
2.51	     nbUselessRevisions=22333  nbAssignments=487  nbFailedAssignments=1  nbBacktracks=316  nbVisitedNodes=490
2.51	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
2.51	       =>  wckTime=1.517  cpuTime=1.46  mem=26M718
3.56	   
3.56	   search
3.56	     run=1  nbConstraintChecks=674420  nbValidityChecks=4021  nbPropagations=5999  nbRevisions=48874
3.56	     nbUselessRevisions=45945  nbAssignments=976  nbFailedAssignments=2  nbBacktracks=334  nbVisitedNodes=981
3.56	     nbRestartNogoods=1  mapSize=2  nbInferences=0  nbTooLargeKeys=0
3.56	       =>  wckTime=2.565  cpuTime=2.5  mem=27M693
4.49	   
4.49	   search
4.49	     run=2  nbConstraintChecks=1142547  nbValidityChecks=7233  nbPropagations=9840  nbRevisions=77125
4.49	     nbUselessRevisions=71878  nbAssignments=1208  nbFailedAssignments=3  nbBacktracks=368  nbVisitedNodes=1215
4.49	     nbRestartNogoods=2  mapSize=3  nbInferences=0  nbTooLargeKeys=0
4.49	       =>  wckTime=3.494  cpuTime=3.43  mem=27M693
5.50	   
5.50	   search
5.50	     run=3  nbConstraintChecks=1610735  nbValidityChecks=11001  nbPropagations=14262  nbRevisions=108650
5.50	     nbUselessRevisions=100480  nbAssignments=1449  nbFailedAssignments=4  nbBacktracks=437  nbVisitedNodes=1459
5.50	     nbRestartNogoods=3  mapSize=5  nbInferences=0  nbTooLargeKeys=0
5.50	       =>  wckTime=4.504  cpuTime=4.43  mem=27M693
7.36	   
7.36	   search
7.36	     run=4  nbConstraintChecks=2537861  nbValidityChecks=16785  nbPropagations=19341  nbRevisions=145090
7.36	     nbUselessRevisions=133290  nbAssignments=1702  nbFailedAssignments=6  nbBacktracks=515  nbVisitedNodes=1718
7.36	     nbRestartNogoods=4  mapSize=10  nbInferences=1  nbTooLargeKeys=0
7.36	       =>  wckTime=6.362  cpuTime=6.27  mem=27M693
9.23	   
9.23	   search
9.23	     run=5  nbConstraintChecks=3464922  nbValidityChecks=22590  nbPropagations=25077  nbRevisions=186486
9.23	     nbUselessRevisions=170350  nbAssignments=1957  nbFailedAssignments=8  nbBacktracks=594  nbVisitedNodes=1979
9.23	     nbRestartNogoods=5  mapSize=15  nbInferences=2  nbTooLargeKeys=0
9.23	       =>  wckTime=8.239  cpuTime=8.14  mem=27M693
12.93	   
12.93	   search
12.93	     run=6  nbConstraintChecks=5310007  nbValidityChecks=32510  nbPropagations=31718  nbRevisions=236313
12.93	     nbUselessRevisions=214819  nbAssignments=2340  nbFailedAssignments=12  nbBacktracks=796  nbVisitedNodes=2374
12.93	     nbRestartNogoods=6  mapSize=25  nbInferences=4  nbTooLargeKeys=0
12.93	       =>  wckTime=11.935  cpuTime=11.84  mem=28M668
16.58	   
16.58	   search
16.58	     run=7  nbConstraintChecks=7155050  nbValidityChecks=43094  nbPropagations=39226  nbRevisions=295157
16.58	     nbUselessRevisions=267323  nbAssignments=2699  nbFailedAssignments=16  nbBacktracks=972  nbVisitedNodes=2745
16.58	     nbRestartNogoods=8  mapSize=35  nbInferences=6  nbTooLargeKeys=0
16.58	       =>  wckTime=15.589  cpuTime=15.49  mem=28M668
22.12	   
22.12	   search
22.12	     run=8  nbConstraintChecks=9921667  nbValidityChecks=68975  nbPropagations=48908  nbRevisions=375862
22.12	     nbUselessRevisions=339408  nbAssignments=3296  nbFailedAssignments=22  nbBacktracks=1335  nbVisitedNodes=3372
22.12	     nbRestartNogoods=10  mapSize=61  nbInferences=22  nbTooLargeKeys=0
22.12	       =>  wckTime=21.124  cpuTime=21.02  mem=28M668
25.03	   
25.03	   search
25.03	     run=9  nbConstraintChecks=11242938  nbValidityChecks=86889  nbPropagations=59789  nbRevisions=469324
25.03	     nbUselessRevisions=423142  nbAssignments=4087  nbFailedAssignments=27  nbBacktracks=1736  nbVisitedNodes=4001
25.03	     nbRestartNogoods=14  mapSize=69  nbInferences=22  nbTooLargeKeys=0
25.03	       =>  wckTime=24.033  cpuTime=23.91  mem=29M643
56.73	   
56.73	   search
56.73	     run=10  nbConstraintChecks=28403236  nbValidityChecks=188319  nbPropagations=77224  nbRevisions=650410
56.73	     nbUselessRevisions=586099  nbAssignments=4999  nbFailedAssignments=111  nbBacktracks=2328  nbVisitedNodes=5083
56.73	     nbRestartNogoods=16  mapSize=222  nbInferences=23  nbTooLargeKeys=0
56.73	       =>  wckTime=55.737  cpuTime=55.59  mem=30M618
63.44	   
63.44	   search
63.44	     run=11  nbConstraintChecks=31563404  nbValidityChecks=208354  nbPropagations=96594  nbRevisions=846876
63.44	     nbUselessRevisions=762235  nbAssignments=6188  nbFailedAssignments=123  nbBacktracks=3196  nbVisitedNodes=6297
63.44	     nbRestartNogoods=18  mapSize=241  nbInferences=23  nbTooLargeKeys=0
63.44	       =>  wckTime=62.445  cpuTime=62.3  mem=31M594
86.89	   
86.89	   search
86.89	     run=12  nbConstraintChecks=43784790  nbValidityChecks=316854  nbPropagations=123712  nbRevisions=1129993
86.89	     nbUselessRevisions=1007723  nbAssignments=7929  nbFailedAssignments=200  nbBacktracks=4494  nbVisitedNodes=8255
86.89	     nbRestartNogoods=24  mapSize=454  nbInferences=23  nbTooLargeKeys=0
86.89	       =>  wckTime=85.898  cpuTime=85.75  mem=32M569
96.25	   
96.25	   search
96.25	     run=13  nbConstraintChecks=48205286  nbValidityChecks=627540  nbPropagations=183771  nbRevisions=1671500
96.25	     nbUselessRevisions=1476979  nbAssignments=10786  nbFailedAssignments=716  nbBacktracks=6444  nbVisitedNodes=11838
96.25	     nbRestartNogoods=28  mapSize=1163  nbInferences=122  nbTooLargeKeys=0
96.25	       =>  wckTime=95.26  cpuTime=95.1  mem=35M494
110.48	   
110.48	   search
110.48	     run=14  nbConstraintChecks=55497715  nbValidityChecks=762205  nbPropagations=256539  nbRevisions=2293627
110.48	     nbUselessRevisions=2010286  nbAssignments=14302  nbFailedAssignments=989  nbBacktracks=9365  nbVisitedNodes=15986
110.48	     nbRestartNogoods=45  mapSize=1788  nbInferences=122  nbTooLargeKeys=0
110.48	       =>  wckTime=109.486  cpuTime=109.33  mem=38M420
126.72	   
126.72	   search
126.72	     run=15  nbConstraintChecks=63507377  nbValidityChecks=964995  nbPropagations=350417  nbRevisions=3040562
126.72	     nbUselessRevisions=2640003  nbAssignments=19344  nbFailedAssignments=1355  nbBacktracks=13745  nbVisitedNodes=22096
126.72	     nbRestartNogoods=49  mapSize=2845  nbInferences=122  nbTooLargeKeys=0
126.72	       =>  wckTime=125.729  cpuTime=125.56  mem=43M296
332.70	   
332.70	   search
332.70	     run=16  nbConstraintChecks=177446806  nbValidityChecks=1217939  nbPropagations=471824  nbRevisions=3926245
332.70	     nbUselessRevisions=3376214  nbAssignments=26595  nbFailedAssignments=1719  nbBacktracks=20334  nbVisitedNodes=30103
332.70	     nbRestartNogoods=52  mapSize=3597  nbInferences=122  nbTooLargeKeys=0
332.70	       =>  wckTime=331.704  cpuTime=331.48  mem=50M818
618.88	   
618.88	   search
618.88	     run=17  nbConstraintChecks=336557504  nbValidityChecks=1594052  nbPropagations=639317  nbRevisions=5008365
618.88	     nbUselessRevisions=4250717  nbAssignments=37575  nbFailedAssignments=2555  nbBacktracks=30190  nbVisitedNodes=42835
618.88	     nbRestartNogoods=56  mapSize=5346  nbInferences=122  nbTooLargeKeys=0
618.88	       =>  wckTime=617.888  cpuTime=617.56  mem=18M869
713.89	   
713.89	   search
713.89	     run=18  nbConstraintChecks=387002482  nbValidityChecks=2046060  nbPropagations=868990  nbRevisions=6325436
713.89	     nbUselessRevisions=5274619  nbAssignments=53931  nbFailedAssignments=3828  nbBacktracks=44974  nbVisitedNodes=62007
713.89	     nbRestartNogoods=59  mapSize=8158  nbInferences=122  nbTooLargeKeys=0
713.89	       =>  wckTime=712.901  cpuTime=712.55  mem=33M790
1288.11	   
1288.11	   search
1288.11	     run=19  nbConstraintChecks=705795556  nbValidityChecks=2771440  nbPropagations=1191590  nbRevisions=8023897
1288.11	     nbUselessRevisions=6558048  nbAssignments=77911  nbFailedAssignments=5351  nbBacktracks=67148  nbVisitedNodes=89206
1288.11	     nbRestartNogoods=63  mapSize=11374  nbInferences=122  nbTooLargeKeys=0
1288.11	       =>  wckTime=1287.121  cpuTime=1286.62  mem=54M678

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-210300-1168196608 -o ROOT/results/node6/solver-210300-1168196608 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210300-1168196608/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.08 1.02 1.24 1/78 19473
/proc/meminfo: memFree=1426224/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=18540 CPUtime=0
/proc/19472/stat : 19472 (runsolver) D 19470 19472 18869 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 168056473 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/19472/statm: 4635 279 244 17 0 2626 0

[startup+0.102932 s]
/proc/loadavg: 1.08 1.02 1.24 1/78 19473
/proc/meminfo: memFree=1426224/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=914988 CPUtime=0.07
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 2977 0 1 0 6 1 0 0 22 0 8 0 168056473 936947712 2723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153593346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19472/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.510976 s]
/proc/loadavg: 1.08 1.02 1.24 1/78 19473
/proc/meminfo: memFree=1426224/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915328 CPUtime=0.48
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 6772 0 1 0 44 4 0 0 16 0 8 0 168056473 937295872 6511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228832 6511 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33307 s]
/proc/loadavg: 1.07 1.02 1.24 2/85 19480
/proc/meminfo: memFree=1391480/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1.29
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 11459 0 1 0 121 8 0 0 17 0 8 0 168056473 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073704038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19472/statm: 228889 11197 2539 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.03
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 520 0 0 0 3 0 0 0 16 0 8 0 168056477 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168056478 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.2
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 389 0 0 0 20 0 0 0 15 0 8 0 168056481 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 11197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915556

[startup+2.98526 s]
/proc/loadavg: 1.07 1.02 1.24 2/85 19480
/proc/meminfo: memFree=1390520/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=2.94
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 11764 0 1 0 285 9 0 0 17 0 8 0 168056473 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737568 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19472/statm: 228889 11499 2543 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.03
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 520 0 0 0 3 0 0 0 16 0 8 0 168056477 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168056478 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.25
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 168056481 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 11499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915556

[startup+6.26465 s]
/proc/loadavg: 1.07 1.02 1.24 2/85 19480
/proc/meminfo: memFree=1389816/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=6.22
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 11883 0 1 0 612 10 0 0 17 0 8 0 168056473 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 11616 2543 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.03
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 520 0 0 0 3 0 0 0 17 0 8 0 168056477 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168056478 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.26
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 168056481 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 11616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915556

[startup+12.7454 s]
/proc/loadavg: 1.06 1.02 1.24 2/85 19480
/proc/meminfo: memFree=1389304/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=12.69
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 11996 0 1 0 1259 10 0 0 25 0 8 0 168056473 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 11729 2543 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.03
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 520 0 0 0 3 0 0 0 16 0 8 0 168056477 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168056478 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.27
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 168056481 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 11729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915556

[startup+25.5719 s]
/proc/loadavg: 1.05 1.02 1.23 3/85 19480
/proc/meminfo: memFree=1388280/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=25.51
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 12347 0 1 0 2541 10 0 0 25 0 8 0 168056473 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 12078 2543 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.03
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 520 0 0 0 3 0 0 0 16 0 8 0 168056477 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168056478 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.28
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 168056481 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 12078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915556

[startup+51.2569 s]
/proc/loadavg: 1.03 1.01 1.23 2/85 19480
/proc/meminfo: memFree=1387832/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=51.17
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 12423 0 1 0 5107 10 0 0 25 0 8 0 168056473 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073703255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 12153 2543 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.03
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 520 0 0 0 3 0 0 0 16 0 8 0 168056477 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168056478 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.28
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 424 0 0 0 27 1 0 0 16 0 8 0 168056481 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 12153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915556

[startup+102.519 s]
/proc/loadavg: 1.06 1.02 1.22 2/85 19480
/proc/meminfo: memFree=1382648/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=102.42
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 13712 0 1 0 10230 12 0 0 25 0 8 0 168056473 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 13441 2543 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.03
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 520 0 0 0 3 0 0 0 16 0 8 0 168056477 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168056478 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.28
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 425 0 0 0 27 1 0 0 16 0 8 0 168056481 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 13441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915556

[startup+162.616 s]
/proc/loadavg: 1.06 1.03 1.20 2/85 19480
/proc/meminfo: memFree=1373240/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=162.5
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 16076 0 1 0 16237 13 0 0 25 0 8 0 168056473 937529344 15804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1424.23
Current children cumulated vsize (KiB) 915556

[startup+1484.78 s]
/proc/loadavg: 1.00 1.01 1.03 2/85 19482
/proc/meminfo: memFree=1347648/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1484.31
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 22434 0 1 0 148411 20 0 0 25 0 8 0 168056473 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 22160 2547 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.09
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 5345 0 0 0 8 1 0 0 16 0 8 0 168056477 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.29
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.31
Current children cumulated vsize (KiB) 915556

[startup+1544.88 s]
/proc/loadavg: 1.00 1.01 1.03 2/85 19482
/proc/meminfo: memFree=1347712/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1544.39
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 22434 0 1 0 154419 20 0 0 25 0 8 0 168056473 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073705216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 22160 2547 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.09
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 5345 0 0 0 8 1 0 0 16 0 8 0 168056477 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.29
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.39
Current children cumulated vsize (KiB) 915556

[startup+1604.97 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 19482
/proc/meminfo: memFree=1347712/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1604.47
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 22434 0 1 0 160427 20 0 0 25 0 8 0 168056473 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073705259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 22160 2547 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.09
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 5345 0 0 0 8 1 0 0 16 0 8 0 168056477 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.29
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.47
Current children cumulated vsize (KiB) 915556

[startup+1665.07 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 19482
/proc/meminfo: memFree=1347648/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1664.55
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 22434 0 1 0 166435 20 0 0 25 0 8 0 168056473 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 22160 2547 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.09
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 5345 0 0 0 8 1 0 0 16 0 8 0 168056477 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.29
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.55
Current children cumulated vsize (KiB) 915556

[startup+1725.16 s]
/proc/loadavg: 1.00 1.00 1.01 2/85 19482
/proc/meminfo: memFree=1347712/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1724.63
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 22434 0 1 0 172443 20 0 0 25 0 8 0 168056473 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073705192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 22160 2547 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.09
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 5345 0 0 0 8 1 0 0 16 0 8 0 168056477 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.29
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.63
Current children cumulated vsize (KiB) 915556

[startup+1785.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19482
/proc/meminfo: memFree=1347648/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1784.7
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 22434 0 1 0 178450 20 0 0 25 0 8 0 168056473 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 22160 2547 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.09
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 5345 0 0 0 8 1 0 0 16 0 8 0 168056477 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.29
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.7
Current children cumulated vsize (KiB) 915556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.57 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 19482
/proc/meminfo: memFree=1347648/2055924 swapFree=4165672/4192956
[pid=19472] ppid=19470 vsize=915556 CPUtime=1800.02
/proc/19472/stat : 19472 (java) R 19470 19472 18869 0 -1 0 22434 0 1 0 179982 20 0 0 25 0 8 0 168056473 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19472/statm: 228889 22160 2547 14 0 215359 0
[pid=19472/tid=19474] ppid=19470 vsize=915556 CPUtime=0.09
/proc/19472/task/19474/stat : 19474 (java) S 19470 19472 18869 0 -1 64 5345 0 0 0 8 1 0 0 16 0 8 0 168056477 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19475] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19475/stat : 19475 (java) S 19470 19472 18869 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19476] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19476/stat : 19476 (java) S 19470 19472 18869 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168056478 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19477] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19477/stat : 19477 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19478] ppid=19470 vsize=915556 CPUtime=0.29
/proc/19472/task/19478/stat : 19478 (java) S 19470 19472 18869 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19472/tid=19479] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19479/stat : 19479 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19472/tid=19480] ppid=19470 vsize=915556 CPUtime=0
/proc/19472/task/19480/stat : 19480 (java) S 19470 19472 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168056481 937529344 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915556

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1799.86
CPU system time (s): 0.222966
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 915556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22450
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= 37548
involuntary context switches= 11287

runsolver used 1.86672 s user time and 4.52631 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sun Jan  7 19:03:29 UTC 2007


IDJOB= 210300
IDBENCH= 4609
FILE ID= node6/210300-1168196608

PBS_JOBID= 3479452

Free space on /tmp= 66551 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-20-18.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210300-1168196608/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-210300-1168196608 -o ROOT/results/node6/solver-210300-1168196608 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210300-1168196608/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c62051c26fe63d321e75c355a719406a

RANDOM SEED= 651995940

TIME LIMIT= 1800 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:      2055924 kB
MemFree:       1426896 kB
Buffers:         72852 kB
Cached:         441184 kB
SwapCached:       2424 kB
Active:          74984 kB
Inactive:       471464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1426896 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            1844 kB
Writeback:           0 kB
Mapped:          42148 kB
Slab:            68032 kB
Committed_AS:  4766536 kB
PageTables:       1976 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= 66551 MiB



End job on node6 on Sun Jan  7 19:33:32 UTC 2007