Trace number 210509

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 1801.38

General information on the benchmark

NamepseudoSeries/fpga/
fpga-30-30.xml
MD5SUM70eb6de06770650d690fce560db7ff3e
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 variables1350
Number of constraints990
Maximum constraint arity30
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension990
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/210509-1168075084/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.47	     nbVariables=1350  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.47	       =>  wckTime=0.18  cpuTime=0.14  mem=8M869
0.47	   
0.47	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
1.11	     nbConstraints=990  nbConflictsStructures=2  nbSharedConflictsStructures=928  nbUnbuiltConflictsStructures=2
1.11	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=986  maxDegree=31  maxArity=30
1.11	       =>  wckTime=0.819  cpuTime=0.66  mem=23M550
1.18	   
1.18	   solver IterativeSystematicSolver being built... 
1.50	       =>  wckTime=1.212  cpuTime=0.91  mem=14M825
1.54	   
1.54	   preprocessing
1.54	     nbConstraintChecks=0  nbPropagations=1350  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.54	     detectedInconsistency=no
1.54	       =>  wckTime=0.029  cpuTime=0.02  mem=15M813
25.39	   
25.39	   search
25.39	     run=0  nbConstraintChecks=8881215  nbValidityChecks=16237  nbPropagations=3964  nbRevisions=16932
25.39	     nbUselessRevisions=15610  nbAssignments=1295  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=1304
25.39	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
25.39	       =>  wckTime=23.885  cpuTime=23.84  mem=19M764
29.90	   
29.90	   search
29.90	     run=1  nbConstraintChecks=10422157  nbValidityChecks=21969  nbPropagations=9941  nbRevisions=41075
29.90	     nbUselessRevisions=37159  nbAssignments=2036  nbFailedAssignments=9  nbBacktracks=272  nbVisitedNodes=2046
29.90	     nbRestartNogoods=2  mapSize=19  nbInferences=0  nbTooLargeKeys=0
29.90	       =>  wckTime=28.393  cpuTime=28.32  mem=21M739
34.38	   
34.38	   search
34.38	     run=2  nbConstraintChecks=11963078  nbValidityChecks=27722  nbPropagations=17934  nbRevisions=72430
34.38	     nbUselessRevisions=64646  nbAssignments=2777  nbFailedAssignments=10  nbBacktracks=535  nbVisitedNodes=2788
34.38	     nbRestartNogoods=3  mapSize=30  nbInferences=0  nbTooLargeKeys=0
34.38	       =>  wckTime=32.873  cpuTime=32.79  mem=23M715
35.45	   
35.45	   search
35.45	     run=3  nbConstraintChecks=12455416  nbValidityChecks=32193  nbPropagations=27831  nbRevisions=109730
35.45	     nbUselessRevisions=96811  nbAssignments=3413  nbFailedAssignments=15  nbBacktracks=575  nbVisitedNodes=3429
35.45	     nbRestartNogoods=4  mapSize=35  nbInferences=0  nbTooLargeKeys=0
35.45	       =>  wckTime=33.947  cpuTime=33.87  mem=25M690
43.33	   
43.33	   search
43.33	     run=4  nbConstraintChecks=15044913  nbValidityChecks=37723  nbPropagations=39774  nbRevisions=154029
43.33	     nbUselessRevisions=134704  nbAssignments=4182  nbFailedAssignments=21  nbBacktracks=862  nbVisitedNodes=4204
43.33	     nbRestartNogoods=9  mapSize=44  nbInferences=0  nbTooLargeKeys=0
43.33	       =>  wckTime=41.826  cpuTime=41.74  mem=26M678
44.40	   
44.40	   search
44.40	     run=5  nbConstraintChecks=15537259  nbValidityChecks=41355  nbPropagations=53553  nbRevisions=203437
44.40	     nbUselessRevisions=176434  nbAssignments=4745  nbFailedAssignments=30  nbBacktracks=937  nbVisitedNodes=4776
44.40	     nbRestartNogoods=10  mapSize=61  nbInferences=0  nbTooLargeKeys=0
44.40	       =>  wckTime=42.889  cpuTime=42.8  mem=28M653
45.49	   
45.49	   search
45.49	     run=6  nbConstraintChecks=16029611  nbValidityChecks=45451  nbPropagations=69280  nbRevisions=258379
45.49	     nbUselessRevisions=222420  nbAssignments=5414  nbFailedAssignments=44  nbBacktracks=1055  nbVisitedNodes=5459
45.49	     nbRestartNogoods=11  mapSize=87  nbInferences=0  nbTooLargeKeys=0
45.49	       =>  wckTime=43.983  cpuTime=43.9  mem=29M641
46.64	   
46.64	   search
46.64	     run=7  nbConstraintChecks=16521971  nbValidityChecks=50681  nbPropagations=87164  nbRevisions=319911
46.64	     nbUselessRevisions=273710  nbAssignments=6284  nbFailedAssignments=64  nbBacktracks=1227  nbVisitedNodes=6349
46.64	     nbRestartNogoods=13  mapSize=122  nbInferences=0  nbTooLargeKeys=0
46.64	       =>  wckTime=45.135  cpuTime=45.05  mem=31M616
88.36	   
88.36	   search
88.36	     run=8  nbConstraintChecks=29598242  nbValidityChecks=57668  nbPropagations=107356  nbRevisions=389686
88.36	     nbUselessRevisions=331915  nbAssignments=7263  nbFailedAssignments=82  nbBacktracks=1490  nbVisitedNodes=7346
88.36	     nbRestartNogoods=18  mapSize=144  nbInferences=0  nbTooLargeKeys=0
88.36	       =>  wckTime=86.853  cpuTime=86.75  mem=34M580
89.57	   
89.57	   search
89.57	     run=9  nbConstraintChecks=30090738  nbValidityChecks=64969  nbPropagations=129902  nbRevisions=468195
89.57	     nbUselessRevisions=397549  nbAssignments=8306  nbFailedAssignments=90  nbBacktracks=1912  nbVisitedNodes=8397
89.57	     nbRestartNogoods=19  mapSize=170  nbInferences=0  nbTooLargeKeys=0
89.58	       =>  wckTime=88.067  cpuTime=87.96  mem=37M543
112.00	   
112.00	   search
112.00	     run=10  nbConstraintChecks=37923134  nbValidityChecks=72463  nbPropagations=155006  nbRevisions=555820
112.00	     nbUselessRevisions=470960  nbAssignments=9524  nbFailedAssignments=116  nbBacktracks=2502  nbVisitedNodes=9641
112.00	     nbRestartNogoods=20  mapSize=223  nbInferences=0  nbTooLargeKeys=0
112.00	       =>  wckTime=110.493  cpuTime=110.38  mem=41M494
227.47	   
227.47	   search
227.47	     run=11  nbConstraintChecks=73673943  nbValidityChecks=85812  nbPropagations=183204  nbRevisions=657603
227.47	     nbUselessRevisions=557063  nbAssignments=11152  nbFailedAssignments=164  nbBacktracks=3376  nbVisitedNodes=11317
227.47	     nbRestartNogoods=26  mapSize=295  nbInferences=0  nbTooLargeKeys=0
227.47	       =>  wckTime=225.966  cpuTime=225.83  mem=46M432

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/node75/watcher-210509-1168075084 -o ROOT/results/node75/solver-210509-1168075084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210509-1168075084/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: 0.55 0.89 0.95 1/68 22827
/proc/meminfo: memFree=1731728/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=168 CPUtime=0
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 155907770 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6734123 0 0 4096 0 0 0 0 17 1 0 0
/proc/22826/statm: 42 23 18 14 0 2 0

[startup+0.103025 s]
/proc/loadavg: 0.55 0.89 0.95 1/68 22827
/proc/meminfo: memFree=1731728/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=914988 CPUtime=0.08
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 3061 0 1 0 7 1 0 0 16 0 8 0 155907770 936947712 2807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511074 s]
/proc/loadavg: 0.55 0.89 0.95 1/68 22827
/proc/meminfo: memFree=1731728/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915328 CPUtime=0.49
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 6962 0 1 0 44 5 0 0 18 0 8 0 155907770 937295872 6701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228832 6701 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33317 s]
/proc/loadavg: 0.55 0.89 0.95 5/87 22879
/proc/meminfo: memFree=1645240/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1.3
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 19373 0 1 0 115 15 0 0 24 0 8 0 155907770 937549824 19110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155212195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 19110 2496 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.07
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 2428 0 0 0 7 0 0 0 16 0 8 0 155907773 937549824 19110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 19110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 19110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 19110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.21
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 389 0 0 0 21 0 0 0 15 0 8 0 155907777 937549824 19110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 19110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 19110 18446744073709551615 134512640 134570532 4294956480 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) 915576

[startup+2.98536 s]
/proc/loadavg: 0.55 0.89 0.95 3/87 22879
/proc/meminfo: memFree=1629368/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=2.96
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20617 0 1 0 280 16 0 0 25 0 8 0 155907770 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20352 2533 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3564 0 0 0 9 0 0 0 17 0 8 0 155907773 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.27
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 426 0 0 0 26 1 0 0 15 0 8 0 155907777 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915576

[startup+6.26878 s]
/proc/loadavg: 0.67 0.91 0.96 3/87 22879
/proc/meminfo: memFree=1627968/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=6.24
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20619 0 1 0 608 16 0 0 25 0 8 0 155907770 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20354 2534 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3564 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.27
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 426 0 0 0 26 1 0 0 15 0 8 0 155907777 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915576

[startup+12.7515 s]
/proc/loadavg: 0.78 0.92 0.96 3/87 22879
/proc/meminfo: memFree=1625472/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=12.72
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20620 0 1 0 1256 16 0 0 25 0 8 0 155907770 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20355 2534 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3564 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.28
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 427 0 0 0 27 1 0 0 16 0 8 0 155907777 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915576

[startup+25.584 s]
/proc/loadavg: 1.05 0.98 0.98 3/87 22881
/proc/meminfo: memFree=1625280/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=25.55
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20630 0 1 0 2539 16 0 0 25 0 8 0 155907770 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20363 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 17 0 8 0 155907773 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.28
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 432 0 0 0 27 1 0 0 15 0 8 0 155907777 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915576

[startup+51.2781 s]
/proc/loadavg: 1.37 1.06 1.01 3/87 22881
/proc/meminfo: memFree=1625280/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=51.23
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20643 0 1 0 5107 16 0 0 25 0 8 0 155907770 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20374 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.31
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 444 0 0 0 30 1 0 0 16 0 8 0 155907777 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915576

[startup+102.556 s]
/proc/loadavg: 1.72 1.20 1.06 3/87 22881
/proc/meminfo: memFree=1625344/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=102.49
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 10233 16 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 915576

[startup+162.571 s]
/proc/loadavg: 1.93 1.36 1.12 3/87 22881
/proc/meminfo: memFree=1625344/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=162.5
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 16233 17 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.5
Current children cumulated vsize (KiB) 915576

[startup+1482.94 s]
/proc/loadavg: 2.03 2.00 1.76 3/87 22881
/proc/meminfo: memFree=1624832/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1482.5
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 148232 18 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.5
Current children cumulated vsize (KiB) 915576

[startup+1542.95 s]
/proc/loadavg: 2.01 2.00 1.78 3/87 22881
/proc/meminfo: memFree=1624832/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1542.5
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 154232 18 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.5
Current children cumulated vsize (KiB) 915576

[startup+1602.97 s]
/proc/loadavg: 2.00 2.00 1.79 4/87 22881
/proc/meminfo: memFree=1624704/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1602.5
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 160232 18 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769410 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.5
Current children cumulated vsize (KiB) 915576

[startup+1662.99 s]
/proc/loadavg: 2.04 2.01 1.81 3/87 22937
/proc/meminfo: memFree=1509040/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1662.4
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 166221 19 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759844 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 915576

[startup+1723.01 s]
/proc/loadavg: 2.07 2.02 1.82 3/87 22937
/proc/meminfo: memFree=1509104/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1722.12
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 172193 19 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 915576

[startup+1783.02 s]
/proc/loadavg: 2.02 2.02 1.83 3/87 22937
/proc/meminfo: memFree=1509040/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1781.87
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 178168 19 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 915576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.31 s]
/proc/loadavg: 2.02 2.02 1.83 3/87 22937
/proc/meminfo: memFree=1509040/2055920 swapFree=4184496/4192956
[pid=22826] ppid=22824 vsize=915576 CPUtime=1800.09
/proc/22826/stat : 22826 (java) R 22824 22826 22728 0 -1 0 20653 0 1 0 179990 19 0 0 25 0 8 0 155907770 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22826/statm: 228894 20380 2537 14 0 215364 0
[pid=22826/tid=22828] ppid=22824 vsize=915576 CPUtime=0.09
/proc/22826/task/22828/stat : 22828 (java) S 22824 22826 22728 0 -1 64 3565 0 0 0 9 0 0 0 16 0 8 0 155907773 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22829] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22830] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907774 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22831] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 22728 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=915576 CPUtime=0.32
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 22728 0 -1 64 450 0 0 0 31 1 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22826/tid=22833] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=915576 CPUtime=0
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907777 937549824 20380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915576

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

Child status: 143
Real time (s): 1801.38
CPU time (s): 1800.16
CPU user time (s): 1799.95
CPU system time (s): 0.204968
CPU usage (%): 99.9324
Max. virtual memory (cumulated for all children) (KiB): 915576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20669
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= 37857
involuntary context switches= 39929

runsolver used 1.77073 s user time and 4.6213 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sat Jan  6 09:18:04 UTC 2007


IDJOB= 210509
IDBENCH= 4625
FILE ID= node75/210509-1168075084

PBS_JOBID= 3476040

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  70eb6de06770650d690fce560db7ff3e

RANDOM SEED= 207370579

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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1732208 kB
Buffers:          3436 kB
Cached:         256100 kB
SwapCached:       2468 kB
Active:          85792 kB
Inactive:       187828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1732208 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            2248 kB
Writeback:           0 kB
Mapped:          20228 kB
Slab:            35776 kB
Committed_AS:  3084348 kB
PageTables:       1636 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= 66546 MiB



End job on node75 on Sat Jan  6 09:48:06 UTC 2007