Trace number 210724

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 AC? (TO) 1800.18 1809.71

General information on the benchmark

NamepseudoSeries/uclid/
cache-ibm-q-unbounded-Icl2arity-ucl.xml
MD5SUM5efcf89ecd13ec12f4b08945c1ac3a76
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark109.822
SatisfiableNO
(Un)Satisfiability was proved
Number of variables23837
Number of constraints67567
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension67567
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/210724-1168075163/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.87	     nbVariables=23837  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.87	       =>  wckTime=0.531  cpuTime=0.43  mem=46M221
0.87	   
0.87	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
5.09	   
5.09	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 51M311)
7.03	     nbConstraints=65192  nbMergedConstraints=2375  nbSingletonDomainVariables=1222  nbConvertedConstraints=9932
7.03	     nbConvertConstraintsChecks=53  nbExtensionStructures=4  nbSharedExtensionStructures=9928  nbConflictsStructures=12
7.03	     nbSharedConflictsStructures=30856  nbSharedBinaryRepresentations=10  nbEvaluationManagers=48
7.03	     nbSharedEvaluationManagers=55212  maxDegree=450  maxArity=13
7.03	       =>  wckTime=6.695  cpuTime=5.1  mem=227M764
7.43	   
7.43	   solver IterativeSystematicSolver being built... 
9.23	       =>  wckTime=8.897  cpuTime=6.47  mem=262M217
9.70	   
9.70	   preprocessing
9.70	     nbConstraintChecks=153853  nbValidityChecks=73534  nbPropagations=23837  nbRevisions=85008
9.70	     nbUselessRevisions=85008  nbRemovedValues=0  detectedInconsistency=no
9.70	       =>  wckTime=0.433  cpuTime=0.39  mem=264M262
14.43	   
14.43	   search
14.43	     run=0  nbConstraintChecks=139629  nbValidityChecks=139140  nbPropagations=39374  nbRevisions=190304
14.43	     nbUselessRevisions=174737  nbAssignments=114  nbFailedAssignments=1  nbBacktracks=11  nbVisitedNodes=117
14.43	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
14.43	       =>  wckTime=5.177  cpuTime=5.07  mem=266M307
35.93	   
35.93	   search
35.93	     run=1  nbConstraintChecks=244291  nbValidityChecks=339800  nbPropagations=97842  nbRevisions=527325
35.93	     nbUselessRevisions=477033  nbAssignments=516  nbFailedAssignments=5  nbBacktracks=48  nbVisitedNodes=529
35.93	     nbRestartNogoods=1  mapSize=7  nbInferences=0  nbTooLargeKeys=0
35.93	       =>  wckTime=26.677  cpuTime=26.44  mem=270M397
59.36	   
59.36	   search
59.36	     run=2  nbConstraintChecks=312862  nbValidityChecks=537267  nbPropagations=175645  nbRevisions=1009143
59.36	     nbUselessRevisions=904771  nbAssignments=948  nbFailedAssignments=6  nbBacktracks=107  nbVisitedNodes=974
59.36	     nbRestartNogoods=5  mapSize=18  nbInferences=5  nbTooLargeKeys=0
59.36	       =>  wckTime=50.106  cpuTime=49.75  mem=274M487
82.75	   
82.75	   search
82.75	     run=3  nbConstraintChecks=387553  nbValidityChecks=740041  nbPropagations=272853  nbRevisions=1638936
82.75	     nbUselessRevisions=1461030  nbAssignments=1380  nbFailedAssignments=8  nbBacktracks=176  nbVisitedNodes=1420
82.75	     nbRestartNogoods=7  mapSize=29  nbInferences=10  nbTooLargeKeys=0
82.75	       =>  wckTime=73.502  cpuTime=73.02  mem=277M554
105.89	   
105.89	   search
105.89	     run=4  nbConstraintChecks=455526  nbValidityChecks=937371  nbPropagations=389341  nbRevisions=2413131
105.89	     nbUselessRevisions=2142391  nbAssignments=1807  nbFailedAssignments=9  nbBacktracks=235  nbVisitedNodes=1860
105.89	     nbRestartNogoods=10  mapSize=40  nbInferences=15  nbTooLargeKeys=0
105.89	       =>  wckTime=96.639  cpuTime=96.04  mem=281M645
131.60	   
131.60	   search
131.60	     run=5  nbConstraintChecks=534281  nbValidityChecks=1147041  nbPropagations=525853  nbRevisions=3341420
131.60	     nbUselessRevisions=2957785  nbAssignments=2275  nbFailedAssignments=11  nbBacktracks=316  nbVisitedNodes=2345
131.60	     nbRestartNogoods=12  mapSize=54  nbInferences=23  nbTooLargeKeys=0
131.60	       =>  wckTime=122.348  cpuTime=121.62  mem=285M735
160.87	   
160.87	   search
160.87	     run=6  nbConstraintChecks=623316  nbValidityChecks=1377416  nbPropagations=685582  nbRevisions=4442750
160.87	     nbUselessRevisions=3922725  nbAssignments=2798  nbFailedAssignments=14  nbBacktracks=452  nbVisitedNodes=2896
160.87	     nbRestartNogoods=15  mapSize=79  nbInferences=30  nbTooLargeKeys=0
160.87	       =>  wckTime=151.616  cpuTime=150.68  mem=249M924
191.26	   
191.26	   search
191.26	     run=7  nbConstraintChecks=770300  nbValidityChecks=1666948  nbPropagations=876746  nbRevisions=5779849
191.26	     nbUselessRevisions=5091064  nbAssignments=3346  nbFailedAssignments=28  nbBacktracks=627  nbVisitedNodes=3490
191.26	     nbRestartNogoods=18  mapSize=122  nbInferences=39  nbTooLargeKeys=0
191.26	       =>  wckTime=182.013  cpuTime=180.94  mem=255M1
221.55	   
221.55	   search
221.55	     run=8  nbConstraintChecks=951499  nbValidityChecks=2001687  nbPropagations=1105038  nbRevisions=7398342
221.55	     nbUselessRevisions=6502200  nbAssignments=3901  nbFailedAssignments=50  nbBacktracks=888  nbVisitedNodes=4130
221.55	     nbRestartNogoods=21  mapSize=206  nbInferences=54  nbTooLargeKeys=0
221.55	       =>  wckTime=212.298  cpuTime=211.07  mem=259M63
247.73	   
247.73	   search
247.73	     run=9  nbConstraintChecks=2021404  nbValidityChecks=3563656  nbPropagations=1484015  nbRevisions=10153019
247.73	     nbUselessRevisions=8897493  nbAssignments=4444  nbFailedAssignments=106  nbBacktracks=1275  nbVisitedNodes=4784
247.73	     nbRestartNogoods=22  mapSize=314  nbInferences=54  nbTooLargeKeys=0
247.73	       =>  wckTime=238.476  cpuTime=237.12  mem=264M139
280.85	   
280.85	   search
280.85	     run=10  nbConstraintChecks=3110618  nbValidityChecks=5041453  nbPropagations=2040841  nbRevisions=14020691
280.85	     nbUselessRevisions=12225497  nbAssignments=5219  nbFailedAssignments=211  nbBacktracks=1864  nbVisitedNodes=5749
280.85	     nbRestartNogoods=25  mapSize=502  nbInferences=54  nbTooLargeKeys=0
280.85	       =>  wckTime=271.603  cpuTime=270.09  mem=271M247
328.49	   
328.49	   search
328.49	     run=11  nbConstraintChecks=4282518  nbValidityChecks=6512814  nbPropagations=2733921  nbRevisions=18932429
328.49	     nbUselessRevisions=16448279  nbAssignments=6223  nbFailedAssignments=254  nbBacktracks=2732  nbVisitedNodes=6907
328.49	     nbRestartNogoods=27  mapSize=651  nbInferences=54  nbTooLargeKeys=0
328.49	       =>  wckTime=319.235  cpuTime=317.48  mem=281M400
396.09	   
396.09	   search
396.09	     run=12  nbConstraintChecks=5175181  nbValidityChecks=7820776  nbPropagations=3584368  nbRevisions=24856506
396.09	     nbUselessRevisions=21520746  nbAssignments=7646  nbFailedAssignments=306  nbBacktracks=4034  nbVisitedNodes=8489
396.09	     nbRestartNogoods=32  mapSize=808  nbInferences=54  nbTooLargeKeys=0
396.09	       =>  wckTime=386.84  cpuTime=384.78  mem=295M615
502.97	   
502.97	   search
502.97	     run=13  nbConstraintChecks=9220911  nbValidityChecks=13752556  nbPropagations=5073743  nbRevisions=35049183
502.97	     nbUselessRevisions=30143903  nbAssignments=10129  nbFailedAssignments=731  nbBacktracks=5990  nbVisitedNodes=11973
502.97	     nbRestartNogoods=34  mapSize=1800  nbInferences=54  nbTooLargeKeys=0
502.97	       =>  wckTime=493.715  cpuTime=491.07  mem=277M763
632.53	   
632.53	   search
632.53	     run=14  nbConstraintChecks=12620400  nbValidityChecks=18643770  nbPropagations=6983821  nbRevisions=48569463
632.53	     nbUselessRevisions=41625873  nbAssignments=13563  nbFailedAssignments=1192  nbBacktracks=8910  nbVisitedNodes=16552
632.53	     nbRestartNogoods=43  mapSize=2939  nbInferences=54  nbTooLargeKeys=0
632.53	       =>  wckTime=623.278  cpuTime=620.0  mem=305M370
822.47	   
822.47	   search
822.47	     run=15  nbConstraintChecks=18038936  nbValidityChecks=25380456  nbPropagations=9697261  nbRevisions=67277782
822.47	     nbUselessRevisions=57377967  nbAssignments=18551  nbFailedAssignments=1744  nbBacktracks=13289
822.47	     nbVisitedNodes=22859  nbRestartNogoods=49  mapSize=4252  nbInferences=54  nbTooLargeKeys=0
822.47	       =>  wckTime=813.218  cpuTime=808.84  mem=309M235
1141.93	   
1141.93	   search
1141.93	     run=16  nbConstraintChecks=31539848  nbValidityChecks=39998545  nbPropagations=13384697  nbRevisions=95949845
1141.93	     nbUselessRevisions=81981700  nbAssignments=25872  nbFailedAssignments=2429  nbBacktracks=19867
1141.93	     nbVisitedNodes=32572  nbRestartNogoods=55  mapSize=6639  nbInferences=54  nbTooLargeKeys=0
1141.93	       =>  wckTime=1132.675  cpuTime=1126.51  mem=339M860
1564.67	   
1564.67	   search
1564.67	     run=17  nbConstraintChecks=49696688  nbValidityChecks=67256746  nbPropagations=20883885  nbRevisions=147234820
1564.67	     nbUselessRevisions=125016887  nbAssignments=36997  nbFailedAssignments=3673  nbBacktracks=29720
1564.67	     nbVisitedNodes=45996  nbRestartNogoods=60  mapSize=8934  nbInferences=54  nbTooLargeKeys=0
1564.67	       =>  wckTime=1555.416  cpuTime=1546.84  mem=337M374
1768.07	   
1768.07	   INFO : Stopping hyperNogood (mapSize=10815, nbTooLargekeys=0, mem=368M48)

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/node13/watcher-210724-1168075163 -o ROOT/results/node13/solver-210724-1168075163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210724-1168075163/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.97 2.01 2.00 4/93 4884
/proc/meminfo: memFree=1165008/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=11820 CPUtime=0
/proc/4883/stat : 4883 (java) D 4881 4883 4816 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 155911379 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/4883/statm: 2955 510 421 14 0 1602 0

[startup+0.104185 s]
/proc/loadavg: 1.97 2.01 2.00 4/93 4884
/proc/meminfo: memFree=1165008/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=913068 CPUtime=0.08
/proc/4883/stat : 4883 (java) S 4881 4883 4816 0 -1 0 2860 0 1 0 7 1 0 0 18 0 8 0 155911379 934981632 2606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.512238 s]
/proc/loadavg: 1.97 2.01 2.00 4/93 4884
/proc/meminfo: memFree=1165008/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=915328 CPUtime=0.48
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 6358 0 1 0 44 4 0 0 18 0 8 0 155911379 937295872 6097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 228832 6097 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33435 s]
/proc/loadavg: 1.97 2.01 2.00 3/100 4891
/proc/meminfo: memFree=1098264/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=915624 CPUtime=1.3
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 19068 0 1 0 119 11 0 0 24 0 8 0 155911379 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 228906 18806 2158 14 0 215376 0
[pid=4883/tid=4885] ppid=4881 vsize=915624 CPUtime=0.1
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 2519 0 0 0 10 0 0 0 18 0 8 0 155911383 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4886] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=915624 CPUtime=0.17
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 412 0 0 0 17 0 0 0 16 0 8 0 155911388 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4890] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 937598976 18806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915624

[startup+2.98757 s]
/proc/loadavg: 1.97 2.01 2.00 4/100 4891
/proc/meminfo: memFree=1085208/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=915624 CPUtime=2.94
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 23951 0 1 0 281 13 0 0 25 0 8 0 155911379 937598976 23685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073554103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 228906 23685 2158 14 0 215376 0
[pid=4883/tid=4885] ppid=4881 vsize=915624 CPUtime=0.35
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 7395 0 0 0 33 2 0 0 16 0 8 0 155911383 937598976 23685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4886] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 937598976 23685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 937598976 23685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 937598976 23685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=915624 CPUtime=0.17
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 415 0 0 0 17 0 0 0 16 0 8 0 155911388 937598976 23685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4890] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 937598976 23685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 937598976 23685 18446744073709551615 134512640 134570532 4294956464 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) 915624

[startup+6.192 s]
/proc/loadavg: 1.97 2.01 2.00 3/100 4893
/proc/meminfo: memFree=1052760/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=915624 CPUtime=6.1
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 34424 0 1 0 531 79 0 0 25 0 8 0 155911379 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 228906 34150 2180 14 0 215376 0
[pid=4883/tid=4885] ppid=4881 vsize=915624 CPUtime=0.98
/proc/4883/task/4885/stat : 4885 (java) R 4881 4883 4816 0 -1 64 17770 0 0 0 92 6 0 0 16 0 8 0 155911383 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155533104 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4886] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=915624 CPUtime=0.23
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 444 0 0 0 23 0 0 0 16 0 8 0 155911388 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4890] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=915624 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 937598976 34150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915624

[startup+12.6688 s]
/proc/loadavg: 1.98 2.01 2.00 3/100 4893
/proc/meminfo: memFree=863256/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=12.55
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 78246 0 1 0 1154 101 0 0 25 0 8 0 155911379 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074287642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 229083 77829 2529 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.03
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 60912 0 0 0 177 26 0 0 16 0 8 0 155911383 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.43
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 683 0 0 0 41 2 0 0 16 0 8 0 155911388 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 77829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 916332

[startup+25.5414 s]
/proc/loadavg: 1.98 2.01 2.00 3/100 4893
/proc/meminfo: memFree=863448/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=25.34
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 78258 0 1 0 2433 101 0 0 25 0 8 0 155911379 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 229083 77839 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.03
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 60912 0 0 0 177 26 0 0 16 0 8 0 155911383 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.45
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 687 0 0 0 43 2 0 0 17 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 916332

[startup+51.1668 s]
/proc/loadavg: 1.98 2.01 2.00 3/100 4893
/proc/meminfo: memFree=863512/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=50.84
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 78258 0 1 0 4982 102 0 0 25 0 8 0 155911379 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074287678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 229083 77839 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.03
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 60912 0 0 0 177 26 0 0 16 0 8 0 155911383 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.45
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 687 0 0 0 43 2 0 0 16 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 77839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 916332

[startup+102.416 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4893
/proc/meminfo: memFree=863512/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=101.85
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 78271 0 1 0 10083 102 0 0 25 0 8 0 155911379 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074334755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 229083 77848 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.03
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 60912 0 0 0 177 26 0 0 16 0 8 0 155911383 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.47
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 696 0 0 0 45 2 0 0 16 0 8 0 155911388 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 77848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 916332

[startup+162.513 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 4893
/proc/meminfo: memFree=857048/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=161.67
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 79882 0 1 0 16063 104 0 0 25 0 8 0 155911379 938323968 79456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074287642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.95
Current children cumulated vsize (KiB) 916332

[startup+1484.49 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5007
/proc/meminfo: memFree=831064/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=1476.72
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 97793 0 1 0 147552 120 0 0 25 0 8 0 155911379 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074322043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229083 97351 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.36
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 80406 0 0 0 202 34 0 0 16 0 8 0 155911383 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.49
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 709 0 0 0 47 2 0 0 16 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.72
Current children cumulated vsize (KiB) 916332

[startup+1544.58 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5007
/proc/meminfo: memFree=831000/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=1536.5
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 97793 0 1 0 153530 120 0 0 25 0 8 0 155911379 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074333816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229083 97351 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.36
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 80406 0 0 0 202 34 0 0 16 0 8 0 155911383 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.49
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 709 0 0 0 47 2 0 0 16 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.5
Current children cumulated vsize (KiB) 916332

[startup+1604.66 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5007
/proc/meminfo: memFree=831000/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=1596.24
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 97793 0 1 0 159504 120 0 0 25 0 8 0 155911379 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074414718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229083 97351 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.36
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 80406 0 0 0 202 34 0 0 16 0 8 0 155911383 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.49
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 709 0 0 0 47 2 0 0 16 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.24
Current children cumulated vsize (KiB) 916332

[startup+1664.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5007
/proc/meminfo: memFree=830936/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=1656.01
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 97793 0 1 0 165481 120 0 0 25 0 8 0 155911379 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074334745 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229083 97351 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.36
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 80406 0 0 0 202 34 0 0 16 0 8 0 155911383 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.49
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 709 0 0 0 47 2 0 0 16 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.01
Current children cumulated vsize (KiB) 916332

[startup+1724.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5007
/proc/meminfo: memFree=830936/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=1715.78
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 97793 0 1 0 171458 120 0 0 25 0 8 0 155911379 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074333870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229083 97351 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.36
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 80406 0 0 0 202 34 0 0 16 0 8 0 155911383 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.49
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 709 0 0 0 47 2 0 0 16 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.78
Current children cumulated vsize (KiB) 916332

[startup+1784.92 s]
/proc/loadavg: 2.06 2.01 2.00 3/100 5007
/proc/meminfo: memFree=830872/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=1775.51
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 97793 0 1 0 177431 120 0 0 25 0 8 0 155911379 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074414718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229083 97351 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.36
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 80406 0 0 0 202 34 0 0 16 0 8 0 155911383 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.49
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 709 0 0 0 47 2 0 0 16 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.51
Current children cumulated vsize (KiB) 916332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.61 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 5007
/proc/meminfo: memFree=830872/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4881 vsize=916332 CPUtime=1800.08
/proc/4883/stat : 4883 (java) R 4881 4883 4816 0 -1 0 97793 0 1 0 179888 120 0 0 25 0 8 0 155911379 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074322046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229083 97351 2532 14 0 215553 0
[pid=4883/tid=4885] ppid=4881 vsize=916332 CPUtime=2.36
/proc/4883/task/4885/stat : 4885 (java) S 4881 4883 4816 0 -1 64 80406 0 0 0 202 34 0 0 16 0 8 0 155911383 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4886/stat : 4886 (java) S 4881 4883 4816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4887] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4887/stat : 4887 (java) S 4881 4883 4816 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911384 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4888] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4888/stat : 4888 (java) S 4881 4883 4816 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4889] ppid=4881 vsize=916332 CPUtime=0.49
/proc/4883/task/4889/stat : 4889 (java) S 4881 4883 4816 0 -1 64 709 0 0 0 47 2 0 0 16 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4890/stat : 4890 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4891] ppid=4881 vsize=916332 CPUtime=0
/proc/4883/task/4891/stat : 4891 (java) S 4881 4883 4816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911388 938323968 97351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 916332

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

Child status: 143
Real time (s): 1809.71
CPU time (s): 1800.18
CPU user time (s): 1798.91
CPU system time (s): 1.26381
CPU usage (%): 99.4734
Max. virtual memory (cumulated for all children) (KiB): 916332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.26381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97809
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= 38657
involuntary context switches= 70608

runsolver used 1.89171 s user time and 6.11207 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan  6 09:19:24 UTC 2007


IDJOB= 210724
IDBENCH= 4641
FILE ID= node13/210724-1168075163

PBS_JOBID= 3475802

Free space on /tmp= 66303 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/cache-ibm-q-unbounded-Icl2arity-ucl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210724-1168075163/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-210724-1168075163 -o ROOT/results/node13/solver-210724-1168075163 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210724-1168075163/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5efcf89ecd13ec12f4b08945c1ac3a76

RANDOM SEED= 309388920

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.247
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.247
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:       1165488 kB
Buffers:         71092 kB
Cached:         554236 kB
SwapCached:          0 kB
Active:         509236 kB
Inactive:       285388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1165488 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12172 kB
Writeback:           0 kB
Mapped:         198256 kB
Slab:            80048 kB
Committed_AS:  4396180 kB
PageTables:       2664 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= 66308 MiB



End job on node13 on Sat Jan  6 09:49:34 UTC 2007