Trace number 210665

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.16 1804.27

General information on the benchmark

NamepseudoSeries/fpga/
fpga-45-45.xml
MD5SUMf4b7cc2e1ae7a090b44468825c2ad4a0
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3038
Number of constraints2160
Maximum constraint arity45
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2160
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/210665-1168075103/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.57	     nbVariables=3038  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.57	       =>  wckTime=0.251  cpuTime=0.17  mem=11M778
0.57	   
0.57	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
1.92	     nbConstraints=2160  nbUnbuiltConflictsStructures=6  nbSharedBinaryRepresentations=0  nbEvaluationManagers=6
1.92	     nbSharedEvaluationManagers=2154  maxDegree=46  maxArity=45
1.92	       =>  wckTime=1.604  cpuTime=1.26  mem=46M212
2.01	   
2.01	   solver IterativeSystematicSolver being built... 
2.65	       =>  wckTime=2.332  cpuTime=1.72  mem=77M530
2.70	   
2.70	   preprocessing
2.70	     nbConstraintChecks=0  nbPropagations=3038  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.70	     detectedInconsistency=no
2.70	       =>  wckTime=0.044  cpuTime=0.04  mem=83M581
4.43	   
4.43	   search
4.43	     run=0  nbConstraintChecks=47611  nbValidityChecks=828045  nbPropagations=6102  nbRevisions=434746
4.43	     nbUselessRevisions=432720  nbAssignments=1038  nbFailedAssignments=1  nbBacktracks=25  nbVisitedNodes=1040
4.43	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
4.43	       =>  wckTime=1.769  cpuTime=1.7  mem=88M623
7.30	   
7.30	   search
7.30	     run=1  nbConstraintChecks=49904  nbValidityChecks=1715997  nbPropagations=17204  nbRevisions=1322788
7.30	     nbUselessRevisions=1316711  nbAssignments=4012  nbFailedAssignments=2  nbBacktracks=1987  nbVisitedNodes=4015
7.30	     nbRestartNogoods=1  mapSize=46  nbInferences=0  nbTooLargeKeys=0
7.30	       =>  wckTime=4.646  cpuTime=4.43  mem=80M18
15.70	   
15.70	   search
15.70	     run=2  nbConstraintChecks=1100620  nbValidityChecks=2591046  nbPropagations=32408  nbRevisions=2651180
15.70	     nbUselessRevisions=2639046  nbAssignments=6107  nbFailedAssignments=3  nbBacktracks=3069  nbVisitedNodes=6111
15.70	     nbRestartNogoods=2  mapSize=72  nbInferences=0  nbTooLargeKeys=0
15.70	       =>  wckTime=13.047  cpuTime=12.75  mem=94M236
24.06	   
24.06	   search
24.06	     run=3  nbConstraintChecks=2151381  nbValidityChecks=3466365  nbPropagations=51715  nbRevisions=4420102
24.06	     nbUselessRevisions=4399905  nbAssignments=8202  nbFailedAssignments=4  nbBacktracks=4153  nbVisitedNodes=8207
24.06	     nbRestartNogoods=3  mapSize=98  nbInferences=0  nbTooLargeKeys=0
24.06	       =>  wckTime=21.399  cpuTime=21.03  mem=109M469
37.94	   
37.94	   search
37.94	     run=4  nbConstraintChecks=4250561  nbValidityChecks=4336142  nbPropagations=74177  nbRevisions=6624147
37.94	     nbUselessRevisions=6593883  nbAssignments=9352  nbFailedAssignments=7  nbBacktracks=4222  nbVisitedNodes=9360
37.94	     nbRestartNogoods=4  mapSize=102  nbInferences=0  nbTooLargeKeys=0
37.94	       =>  wckTime=35.282  cpuTime=34.79  mem=114M547
377.02	   
377.02	   search
377.02	     run=5  nbConstraintChecks=62972799  nbValidityChecks=5205974  nbPropagations=99932  nbRevisions=9263369
377.02	     nbUselessRevisions=9221000  nbAssignments=10606  nbFailedAssignments=64  nbBacktracks=4299  nbVisitedNodes=10671
377.02	     nbRestartNogoods=5  mapSize=156  nbInferences=0  nbTooLargeKeys=0
377.02	       =>  wckTime=374.366  cpuTime=371.65  mem=93M843
378.56	   
378.56	   search
378.56	     run=6  nbConstraintChecks=62975618  nbValidityChecks=6077422  nbPropagations=128856  nbRevisions=12338372
378.56	     nbUselessRevisions=12281913  nbAssignments=11789  nbFailedAssignments=69  nbBacktracks=4422  nbVisitedNodes=11859
378.56	     nbRestartNogoods=9  mapSize=163  nbInferences=0  nbTooLargeKeys=0
378.56	       =>  wckTime=375.904  cpuTime=373.18  mem=99M894
379.98	   
379.98	   search
379.98	     run=7  nbConstraintChecks=62978692  nbValidityChecks=6950572  nbPropagations=161006  nbRevisions=15850111
379.98	     nbUselessRevisions=15777575  nbAssignments=13025  nbFailedAssignments=76  nbBacktracks=4597  nbVisitedNodes=13102
379.98	     nbRestartNogoods=12  mapSize=174  nbInferences=0  nbTooLargeKeys=0
379.98	       =>  wckTime=377.323  cpuTime=374.6  mem=105M945
381.48	   
381.48	   search
381.48	     run=8  nbConstraintChecks=62982854  nbValidityChecks=7827164  nbPropagations=196487  nbRevisions=19800309
381.48	     nbUselessRevisions=19709705  nbAssignments=14362  nbFailedAssignments=87  nbBacktracks=4874  nbVisitedNodes=14450
381.48	     nbRestartNogoods=15  mapSize=195  nbInferences=0  nbTooLargeKeys=0
381.48	       =>  wckTime=378.828  cpuTime=376.1  mem=113M4
389.19	   
389.19	   search
389.19	     run=9  nbConstraintChecks=64034004  nbValidityChecks=8703255  nbPropagations=236043  nbRevisions=24191244
389.19	     nbUselessRevisions=24080610  nbAssignments=16475  nbFailedAssignments=88  nbBacktracks=5888  nbVisitedNodes=16564
389.19	     nbRestartNogoods=16  mapSize=220  nbInferences=0  nbTooLargeKeys=0
389.19	       =>  wckTime=386.532  cpuTime=383.8  mem=127M123
396.99	   
396.99	   search
396.99	     run=10  nbConstraintChecks=65084677  nbValidityChecks=9579435  nbPropagations=279675  nbRevisions=29022961
396.99	     nbUselessRevisions=28890335  nbAssignments=18588  nbFailedAssignments=89  nbBacktracks=6903  nbVisitedNodes=18678
396.99	     nbRestartNogoods=17  mapSize=245  nbInferences=0  nbTooLargeKeys=0
396.99	       =>  wckTime=394.33  cpuTime=391.57  mem=101M987
410.47	   
410.47	   search
410.47	     run=11  nbConstraintChecks=67183925  nbValidityChecks=10455426  nbPropagations=327447  nbRevisions=34295339
410.47	     nbUselessRevisions=34138759  nbAssignments=20765  nbFailedAssignments=113  nbBacktracks=7958  nbVisitedNodes=20879
410.47	     nbRestartNogoods=18  mapSize=291  nbInferences=0  nbTooLargeKeys=0
410.47	       =>  wckTime=407.815  cpuTime=405.03  mem=116M204
412.86	   
412.86	   search
412.86	     run=12  nbConstraintChecks=67185919  nbValidityChecks=11326829  nbPropagations=379806  nbRevisions=40003836
412.86	     nbUselessRevisions=39821308  nbAssignments=23356  nbFailedAssignments=170  nbBacktracks=9257  nbVisitedNodes=23527
412.86	     nbRestartNogoods=19  mapSize=401  nbInferences=0  nbTooLargeKeys=0
412.86	       =>  wckTime=410.199  cpuTime=407.41  mem=134M484
415.90	   
415.90	   search
415.90	     run=13  nbConstraintChecks=67188037  nbValidityChecks=12200414  nbPropagations=437667  nbRevisions=46149897
415.90	     nbUselessRevisions=45939397  nbAssignments=26831  nbFailedAssignments=254  nbBacktracks=11204  nbVisitedNodes=27086
415.90	     nbRestartNogoods=23  mapSize=564  nbInferences=0  nbTooLargeKeys=0
415.90	       =>  wckTime=413.248  cpuTime=410.43  mem=120M508
431.09	   
431.10	   search
431.10	     run=14  nbConstraintChecks=69287420  nbValidityChecks=13077487  nbPropagations=502229  nbRevisions=52736831
431.10	     nbUselessRevisions=52496307  nbAssignments=31477  nbFailedAssignments=361  nbBacktracks=14561  nbVisitedNodes=31839
431.10	     nbRestartNogoods=28  mapSize=781  nbInferences=0  nbTooLargeKeys=0
431.10	       =>  wckTime=428.439  cpuTime=425.57  mem=117M88
481.47	   
481.47	   search
481.47	     run=15  nbConstraintChecks=77678704  nbValidityChecks=13968610  nbPropagations=574672  nbRevisions=59778182
481.47	     nbUselessRevisions=59505584  nbAssignments=37307  nbFailedAssignments=416  nbBacktracks=19155  nbVisitedNodes=37724
481.47	     nbRestartNogoods=29  mapSize=938  nbInferences=0  nbTooLargeKeys=0
481.47	       =>  wckTime=478.809  cpuTime=475.89  mem=164M817
495.44	   
495.44	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=147M284)
531.32	   
531.32	   search
531.32	     run=16  nbConstraintChecks=86070061  nbValidityChecks=14862152  nbPropagations=657543  nbRevisions=67276159
531.32	     nbUselessRevisions=66969364  nbAssignments=45611  nbFailedAssignments=562  nbBacktracks=25736  nbVisitedNodes=46174
531.32	     nbRestartNogoods=30
531.32	       =>  wckTime=528.666  cpuTime=525.67  mem=147M284

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/node3/watcher-210665-1168075103 -o ROOT/results/node3/solver-210665-1168075103 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210665-1168075103/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.53 1.71 1.82 4/93 29854
/proc/meminfo: memFree=1208488/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=18540 CPUtime=0
/proc/29853/stat : 29853 (runsolver) R 29851 29853 29786 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155905944 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29853/statm: 4635 279 244 17 0 2626 0

[startup+0.107829 s]
/proc/loadavg: 1.53 1.71 1.82 4/93 29854
/proc/meminfo: memFree=1208488/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=914988 CPUtime=0.09
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 155905944 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515891 s]
/proc/loadavg: 1.53 1.71 1.82 4/93 29854
/proc/meminfo: memFree=1208488/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915328 CPUtime=0.49
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 6573 0 1 0 44 5 0 0 18 0 8 0 155905944 937295872 6312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073536900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228832 6312 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34403 s]
/proc/loadavg: 1.57 1.71 1.82 4/100 29861
/proc/meminfo: memFree=1143216/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915648 CPUtime=1.3
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 18701 0 1 0 117 13 0 0 24 0 8 0 155905944 937623552 18436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228912 18436 2177 14 0 215382 0
[pid=29853/tid=29855] ppid=29851 vsize=915648 CPUtime=0.06
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 2094 0 0 0 6 0 0 0 16 0 8 0 155905948 937623552 18436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915648 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937623552 18436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915648 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905949 937623552 18436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915648 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937623552 18436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915648 CPUtime=0.18
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 417 0 0 0 18 0 0 0 16 0 8 0 155905952 937623552 18436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915648 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937623552 18436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915648 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937623552 18436 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) 915648

[startup+2.98729 s]
/proc/loadavg: 1.57 1.71 1.82 3/100 29861
/proc/meminfo: memFree=1104368/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=2.93
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 30639 0 1 0 268 25 0 0 25 0 8 0 155905944 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074132284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228933 30370 2533 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.31
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 13510 0 0 0 26 5 0 0 16 0 8 0 155905948 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.35
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 500 0 0 0 33 2 0 0 15 0 8 0 155905952 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 30370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915732

[startup+6.28631 s]
/proc/loadavg: 1.57 1.71 1.82 3/100 29861
/proc/meminfo: memFree=1096504/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=6.2
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 35016 0 1 0 593 27 0 0 25 0 8 0 155905944 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099693 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228933 34742 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 17863 0 0 0 33 7 0 0 16 0 8 0 155905948 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.38
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 514 0 0 0 36 2 0 0 16 0 8 0 155905952 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 34742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915732

[startup+12.7629 s]
/proc/loadavg: 1.63 1.72 1.82 3/100 29861
/proc/meminfo: memFree=1079032/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=12.62
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 35026 0 1 0 1235 27 0 0 25 0 8 0 155905944 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074116726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228933 34750 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 17863 0 0 0 33 7 0 0 16 0 8 0 155905948 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.39
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 523 0 0 0 37 2 0 0 16 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915732

[startup+25.6144 s]
/proc/loadavg: 1.69 1.73 1.82 3/100 29861
/proc/meminfo: memFree=1079032/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=25.35
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 35026 0 1 0 2508 27 0 0 25 0 8 0 155905944 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228933 34750 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 17863 0 0 0 33 7 0 0 16 0 8 0 155905948 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 523 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 34750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915732

[startup+51.2181 s]
/proc/loadavg: 1.79 1.75 1.82 3/100 29861
/proc/meminfo: memFree=1058616/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=50.72
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 40161 0 1 0 5043 29 0 0 25 0 8 0 155905944 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074116620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228933 39884 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.45
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 22996 0 0 0 37 8 0 0 16 0 8 0 155905948 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 524 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915732

[startup+102.418 s]
/proc/loadavg: 1.92 1.79 1.83 3/100 29861
/proc/meminfo: memFree=1058680/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=101.45
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 40161 0 1 0 10115 30 0 0 25 0 8 0 155905944 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074117513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29853/statm: 228933 39884 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.45
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 22996 0 0 0 37 8 0 0 16 0 8 0 155905948 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 524 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915732

[startup+162.454 s]
/proc/loadavg: 2.04 1.84 1.84 3/100 29861
/proc/meminfo: memFree=1058616/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=160.93
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 40161 0 1 0 16063 30 0 0 25 0 8 0 155905944 937709568 39884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074128352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1419.61
Current children cumulated vsize (KiB) 915732

[startup+1483.38 s]
/proc/loadavg: 2.06 2.03 1.93 3/100 29919
/proc/meminfo: memFree=1024760/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=1479.62
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 49217 0 1 0 147921 41 0 0 25 0 8 0 155905944 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074128430 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29853/statm: 228933 48935 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.57
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 32046 0 0 0 45 12 0 0 16 0 8 0 155905948 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 525 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.62
Current children cumulated vsize (KiB) 915732

[startup+1543.48 s]
/proc/loadavg: 2.02 2.02 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=1539.66
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 49217 0 1 0 153925 41 0 0 25 0 8 0 155905944 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29853/statm: 228933 48935 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.57
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 32046 0 0 0 45 12 0 0 16 0 8 0 155905948 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 525 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.66
Current children cumulated vsize (KiB) 915732

[startup+1603.49 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 29919
/proc/meminfo: memFree=1024760/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=1599.62
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 49217 0 1 0 159921 41 0 0 25 0 8 0 155905944 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29853/statm: 228933 48935 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.57
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 32046 0 0 0 45 12 0 0 16 0 8 0 155905948 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 525 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.62
Current children cumulated vsize (KiB) 915732

[startup+1663.5 s]
/proc/loadavg: 2.00 2.01 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=1659.54
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 49217 0 1 0 165913 41 0 0 25 0 8 0 155905944 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074072130 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29853/statm: 228933 48935 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.57
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 32046 0 0 0 45 12 0 0 16 0 8 0 155905948 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 525 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.54
Current children cumulated vsize (KiB) 915732

[startup+1723.51 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=1719.49
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 49217 0 1 0 171908 41 0 0 25 0 8 0 155905944 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074115295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29853/statm: 228933 48935 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.57
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 32046 0 0 0 45 12 0 0 16 0 8 0 155905948 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 525 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.49
Current children cumulated vsize (KiB) 915732

[startup+1783.51 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=1779.45
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 49217 0 1 0 177903 42 0 0 25 0 8 0 155905944 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074116644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29853/statm: 228933 48935 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.57
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 32046 0 0 0 45 12 0 0 16 0 8 0 155905948 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 525 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.45
Current children cumulated vsize (KiB) 915732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29853] ppid=29851 vsize=915732 CPUtime=1800.1
/proc/29853/stat : 29853 (java) R 29851 29853 29786 0 -1 0 49217 0 1 0 179968 42 0 0 25 0 8 0 155905944 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074074187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29853/statm: 228933 48935 2537 14 0 215403 0
[pid=29853/tid=29855] ppid=29851 vsize=915732 CPUtime=0.57
/proc/29853/task/29855/stat : 29855 (java) S 29851 29853 29786 0 -1 64 32046 0 0 0 45 12 0 0 16 0 8 0 155905948 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29856] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29856/stat : 29856 (java) S 29851 29853 29786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29857] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29857/stat : 29857 (java) S 29851 29853 29786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155905949 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29858] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29858/stat : 29858 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29859] ppid=29851 vsize=915732 CPUtime=0.4
/proc/29853/task/29859/stat : 29859 (java) S 29851 29853 29786 0 -1 64 525 0 0 0 38 2 0 0 16 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29853/tid=29860] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29860/stat : 29860 (java) S 29851 29853 29786 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29853/tid=29861] ppid=29851 vsize=915732 CPUtime=0
/proc/29853/task/29861/stat : 29861 (java) S 29851 29853 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905952 937709568 48935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915732

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

Child status: 143
Real time (s): 1804.27
CPU time (s): 1800.16
CPU user time (s): 1799.71
CPU system time (s): 0.448931
CPU usage (%): 99.7726
Max. virtual memory (cumulated for all children) (KiB): 915824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.448931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49232
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= 38170
involuntary context switches= 64269

runsolver used 2.29565 s user time and 5.69013 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat Jan  6 09:18:23 UTC 2007


IDJOB= 210665
IDBENCH= 4637
FILE ID= node3/210665-1168075103

PBS_JOBID= 3475799

Free space on /tmp= 66537 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f4b7cc2e1ae7a090b44468825c2ad4a0

RANDOM SEED= 957274437

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.279
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.279
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:       1208904 kB
Buffers:         65544 kB
Cached:         511436 kB
SwapCached:          0 kB
Active:         250168 kB
Inactive:       501788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1208904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2812 kB
Writeback:           0 kB
Mapped:         204024 kB
Slab:            79816 kB
Committed_AS:  4546648 kB
PageTables:       2332 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= 66539 MiB



End job on node3 on Sat Jan  6 09:48:27 UTC 2007