Trace number 229832

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 ACSAT 389.804 391.116

DiagnosticValue
CHECKS2595711036
NODES1537471

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-33_ext.xml
MD5SUM5dd6e886dd59462738b4787e4740e36f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark389.804
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints467
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension467
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/229832-1168081006/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.42	       =>  wckTime=0.102  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.57	   
0.57	   constraints being loaded...
0.71	     nbConstraints=467  nbRelationTypes=467  nbExtensionStructures=467  nbSharedExtensionStructures=0
0.71	     nbConflictsStructures=467  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2336  maxDegree=27
0.71	     maxArity=2
0.71	       =>  wckTime=0.392  cpuTime=0.3  mem=17M728
0.76	   
0.77	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.595  cpuTime=0.43  mem=15M369
0.93	   
0.93	   preprocessing
0.93	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.93	     detectedInconsistency=no
0.93	       =>  wckTime=0.0080  cpuTime=0.0  mem=15M369
0.98	   
0.98	   search
0.98	     run=0  nbConstraintChecks=41933  nbPropagations=605  nbRevisions=6240  nbUselessRevisions=5220  nbAssignments=30
0.98	     nbFailedAssignments=5  nbBacktracks=12  nbVisitedNodes=41  nbRestartNogoods=0  mapSize=7  nbInferences=0
0.98	     nbTooLargeKeys=0
0.98	       =>  wckTime=0.057  cpuTime=0.04  mem=15M369
1.00	   
1.00	   search
1.00	     run=1  nbConstraintChecks=89833  nbPropagations=1889  nbRevisions=20370  nbUselessRevisions=16995  nbAssignments=67
1.00	     nbFailedAssignments=12  nbBacktracks=30  nbVisitedNodes=96  nbRestartNogoods=3  mapSize=21  nbInferences=0
1.00	     nbTooLargeKeys=0
1.00	       =>  wckTime=0.083  cpuTime=0.05  mem=15M369
1.02	   
1.02	   search
1.02	     run=2  nbConstraintChecks=141036  nbPropagations=3946  nbRevisions=43966  nbUselessRevisions=36596
1.02	     nbAssignments=114  nbFailedAssignments=25  nbBacktracks=56  nbVisitedNodes=166  nbRestartNogoods=5  mapSize=40
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.102  cpuTime=0.07  mem=15M369
1.04	   
1.04	   search
1.04	     run=3  nbConstraintChecks=226328  nbPropagations=7109  nbRevisions=81965  nbUselessRevisions=68045
1.04	     nbAssignments=176  nbFailedAssignments=44  nbBacktracks=90  nbVisitedNodes=263  nbRestartNogoods=6  mapSize=66
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.122  cpuTime=0.08  mem=15M369
1.07	   
1.07	   search
1.07	     run=4  nbConstraintChecks=382179  nbPropagations=12236  nbRevisions=148675  nbUselessRevisions=123097
1.07	     nbAssignments=278  nbFailedAssignments=83  nbBacktracks=145  nbVisitedNodes=437  nbRestartNogoods=7  mapSize=112
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.155  cpuTime=0.12  mem=15M369
1.12	   
1.12	   search
1.12	     run=5  nbConstraintChecks=598827  nbPropagations=19920  nbRevisions=253785  nbUselessRevisions=209668
1.12	     nbAssignments=409  nbFailedAssignments=127  nbBacktracks=220  nbVisitedNodes=651  nbRestartNogoods=10  mapSize=171
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.199  cpuTime=0.16  mem=15M369
1.19	   
1.19	   search
1.19	     run=6  nbConstraintChecks=949014  nbPropagations=31645  nbRevisions=420401  nbUselessRevisions=346688
1.19	     nbAssignments=607  nbFailedAssignments=203  nbBacktracks=333  nbVisitedNodes=991  nbRestartNogoods=14  mapSize=267
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.269  cpuTime=0.22  mem=15M369
1.27	   
1.27	   search
1.27	     run=7  nbConstraintChecks=1369991  nbPropagations=48670  nbRevisions=665835  nbUselessRevisions=548101
1.27	     nbAssignments=884  nbFailedAssignments=301  nbBacktracks=503  nbVisitedNodes=1452  nbRestartNogoods=20  mapSize=398
1.27	     nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.35  cpuTime=0.3  mem=15M369
1.39	   
1.39	   search
1.39	     run=8  nbConstraintChecks=2012823  nbPropagations=73258  nbRevisions=1022993  nbUselessRevisions=839819
1.39	     nbAssignments=1278  nbFailedAssignments=432  nbBacktracks=760  nbVisitedNodes=2108  nbRestartNogoods=23
1.39	     mapSize=594  nbInferences=0  nbTooLargeKeys=0
1.39	       =>  wckTime=0.469  cpuTime=0.42  mem=15M369
1.57	   
1.57	   search
1.57	     run=9  nbConstraintChecks=2984154  nbPropagations=109591  nbRevisions=1558737  nbUselessRevisions=1277637
1.57	     nbAssignments=1906  nbFailedAssignments=666  nbBacktracks=1146  nbVisitedNodes=3169  nbRestartNogoods=27
1.57	     mapSize=901  nbInferences=0  nbTooLargeKeys=0
1.57	       =>  wckTime=0.649  cpuTime=0.58  mem=15M369
1.64	   
1.64	   INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M369)
1.82	   
1.82	   search
1.82	     run=10  nbConstraintChecks=4545064  nbPropagations=163915  nbRevisions=2371089  nbUselessRevisions=1940695
1.82	     nbAssignments=2826  nbFailedAssignments=999  nbBacktracks=1723  nbVisitedNodes=4723  nbRestartNogoods=30
1.82	       =>  wckTime=0.902  cpuTime=0.82  mem=15M369
2.16	   
2.16	   search
2.16	     run=11  nbConstraintChecks=6779879  nbPropagations=245355  nbRevisions=3595086  nbUselessRevisions=2939467
2.16	     nbAssignments=4201  nbFailedAssignments=1499  nbBacktracks=2588  nbVisitedNodes=7059  nbRestartNogoods=35
2.16	       =>  wckTime=1.246  cpuTime=1.17  mem=15M369
2.72	   
2.72	   search
2.72	     run=12  nbConstraintChecks=10416971  nbPropagations=369152  nbRevisions=5481577  nbUselessRevisions=4481741
2.72	     nbAssignments=6336  nbFailedAssignments=2327  nbBacktracks=3885  nbVisitedNodes=10750  nbRestartNogoods=42
2.72	       =>  wckTime=1.798  cpuTime=1.71  mem=15M369
3.46	   
3.46	   search
3.46	     run=13  nbConstraintChecks=15455148  nbPropagations=550049  nbRevisions=8223660  nbUselessRevisions=6716768
3.46	     nbAssignments=9262  nbFailedAssignments=3296  nbBacktracks=5834  nbVisitedNodes=15580  nbRestartNogoods=45
3.46	       =>  wckTime=2.544  cpuTime=2.45  mem=15M369
4.70	   
4.70	   search
4.70	     run=14  nbConstraintChecks=23588980  nbPropagations=826891  nbRevisions=12468201  nbUselessRevisions=10188581
4.70	     nbAssignments=14087  nbFailedAssignments=5192  nbBacktracks=8753  nbVisitedNodes=23924  nbRestartNogoods=55
4.70	       =>  wckTime=3.78  cpuTime=3.68  mem=15M369
6.36	   
6.36	   search
6.36	     run=15  nbConstraintChecks=34444899  nbPropagations=1233309  nbRevisions=18692263  nbUselessRevisions=15274597
6.36	     nbAssignments=21041  nbFailedAssignments=7758  nbBacktracks=13131  nbVisitedNodes=35598  nbRestartNogoods=61
6.36	       =>  wckTime=5.441  cpuTime=5.34  mem=15M369
9.14	   
9.14	   search
9.14	     run=16  nbConstraintChecks=53218679  nbPropagations=1853506  nbRevisions=28208354  nbUselessRevisions=23044205
9.14	     nbAssignments=31664  nbFailedAssignments=11805  nbBacktracks=19699  nbVisitedNodes=53830  nbRestartNogoods=71
9.14	       =>  wckTime=8.222  cpuTime=8.11  mem=15M369
12.76	   
12.76	   search
12.76	     run=17  nbConstraintChecks=75847175  nbPropagations=2759598  nbRevisions=42197338  nbUselessRevisions=34508387
12.76	     nbAssignments=47314  nbFailedAssignments=17594  nbBacktracks=29551  nbVisitedNodes=80247  nbRestartNogoods=84
12.76	       =>  wckTime=11.845  cpuTime=11.72  mem=15M369
19.29	   
19.29	   search
19.29	     run=18  nbConstraintChecks=120079042  nbPropagations=4155320  nbRevisions=63821758  nbUselessRevisions=52191172
19.29	     nbAssignments=71615  nbFailedAssignments=27107  nbBacktracks=44330  nbVisitedNodes=121979  nbRestartNogoods=90
19.29	       =>  wckTime=18.373  cpuTime=18.21  mem=15M369
27.81	   
27.81	   search
27.81	     run=19  nbConstraintChecks=174813084  nbPropagations=6235318  nbRevisions=95797569  nbUselessRevisions=78375352
27.81	     nbAssignments=107193  nbFailedAssignments=40507  nbBacktracks=66499  nbVisitedNodes=182917  nbRestartNogoods=100
27.81	       =>  wckTime=26.888  cpuTime=26.69  mem=15M369
42.06	   
42.06	   search
42.06	     run=20  nbConstraintChecks=270555337  nbPropagations=9397220  nbRevisions=144715518  nbUselessRevisions=118426244
42.06	     nbAssignments=160726  nbFailedAssignments=60778  nbBacktracks=99754  nbVisitedNodes=274895  nbRestartNogoods=107
42.06	       =>  wckTime=41.138  cpuTime=40.87  mem=15M369
61.55	   
61.55	   search
61.55	     run=21  nbConstraintChecks=394732995  nbPropagations=14111237  nbRevisions=217402677  nbUselessRevisions=178011949
61.55	     nbAssignments=241822  nbFailedAssignments=91984  nbBacktracks=149634  nbVisitedNodes=413853  nbRestartNogoods=120
61.55	       =>  wckTime=60.627  cpuTime=60.26  mem=15M369
92.19	   
92.19	   search
92.19	     run=22  nbConstraintChecks=598431828  nbPropagations=21189217  nbRevisions=326735453  nbUselessRevisions=267573956
92.19	     nbAssignments=360833  nbFailedAssignments=136169  nbBacktracks=224453  nbVisitedNodes=617173  nbRestartNogoods=127
92.19	       =>  wckTime=91.267  cpuTime=90.76  mem=15M369
138.01	   
138.01	   search
138.01	     run=23  nbConstraintChecks=903449135  nbPropagations=31810778  nbRevisions=490091060  nbUselessRevisions=401197719
138.01	     nbAssignments=539391  nbFailedAssignments=202489  nbBacktracks=336680  nbVisitedNodes=921368  nbRestartNogoods=140
138.01	       =>  wckTime=137.088  cpuTime=136.37  mem=15M369
211.06	   
211.06	   search
211.06	     run=24  nbConstraintChecks=1403190379  nbPropagations=47955115  nbRevisions=738970374  nbUselessRevisions=604487854
211.06	     nbAssignments=810594  nbFailedAssignments=305341  nbBacktracks=505023  nbVisitedNodes=1384904  nbRestartNogoods=156
211.06	       =>  wckTime=210.14  cpuTime=209.08  mem=15M369
315.41	   
315.41	   search
315.41	     run=25  nbConstraintChecks=2099223364  nbPropagations=72193649  nbRevisions=1114414277
315.41	     nbUselessRevisions=911734750  nbAssignments=1216937  nbFailedAssignments=459164  nbBacktracks=757536
315.41	     nbVisitedNodes=2081161  nbRestartNogoods=176
315.41	       =>  wckTime=314.496  cpuTime=313.25  mem=15M369
391.05	   
391.05	   search
391.05	     run=26  nbConstraintChecks=2595711036  nbPropagations=102491148  nbRevisions=1581083809
391.05	     nbUselessRevisions=1293550899  nbAssignments=1537471  nbFailedAssignments=574428  nbBacktracks=962756
391.05	     nbVisitedNodes=2621164  nbRestartNogoods=194
391.05	       =>  wckTime=390.129  cpuTime=388.82  mem=15M369
391.05	   
391.05	   global
391.05	     nbConstraintChecks=2595711036  nbPropagations=102491198  nbRevisions=1581083809  nbUselessRevisions=1293550899
391.05	     nbRestartNogoods=194  solvingWckTime=390.131  solvingCpuTime=388.82  expiredTime=no  totalExploration=no
391.05	     nbFoundSolutions=1  globalCpuTime=389.31
391.05	       =>  wckTime=390.73  cpuTime=389.25  mem=15M369
391.05	   
391.05	s SATISFIABLE
391.05	v 22 16 1 1 12 8 4 1 11 4 6 15 9 5 5 18 21 16 22 10 12 5 4 12 9 16 11 16 19 17 20 1 9 5 16 20 5 20 12 4 20 22 22 20 17 17 4 20 7 3 
391.05	d NODES 1537471
391.05	d CHECKS 2595711036
391.05	   
391.05	   totalWckTime=390.81  totalCpuTime=389.31

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-229832-1168081006 -o ROOT/results/node58/solver-229832-1168081006 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229832-1168081006/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.06 0.42 1.05 4/69 29749
/proc/meminfo: memFree=1655672/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=18540 CPUtime=0
/proc/29748/stat : 29748 (runsolver) R 29745 29748 29418 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156499904 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29748/statm: 4635 279 244 17 0 2626 0

[startup+0.104411 s]
/proc/loadavg: 0.06 0.42 1.05 4/69 29749
/proc/meminfo: memFree=1655672/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=913068 CPUtime=0.07
/proc/29748/stat : 29748 (java) S 29745 29748 29418 0 -1 0 2866 0 1 0 6 1 0 0 19 0 8 0 156499904 934981632 2612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228267 2613 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068

[startup+0.512448 s]
/proc/loadavg: 0.06 0.42 1.05 4/69 29749
/proc/meminfo: memFree=1655672/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915328 CPUtime=0.48
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 6893 0 1 0 44 4 0 0 22 0 8 0 156499904 937295872 6632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228832 6633 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33352 s]
/proc/loadavg: 0.06 0.42 1.05 3/87 29767
/proc/meminfo: memFree=1599656/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=1.3
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9626 0 1 0 123 7 0 0 20 0 8 0 156499904 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9364 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.2
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 156499913 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9364 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) 915460

[startup+2.98565 s]
/proc/loadavg: 0.06 0.42 1.05 3/87 29767
/proc/meminfo: memFree=1599528/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=2.94
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9642 0 1 0 287 7 0 0 25 0 8 0 156499904 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9379 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 156499909 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.28294 s]
/proc/loadavg: 0.21 0.44 1.06 3/87 29767
/proc/meminfo: memFree=1599464/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=6.22
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 615 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460

[startup+12.7575 s]
/proc/loadavg: 0.36 0.47 1.06 3/87 29767
/proc/meminfo: memFree=1599464/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=12.66
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 1259 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460

[startup+25.5956 s]
/proc/loadavg: 0.72 0.54 1.08 3/87 29767
/proc/meminfo: memFree=1599528/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=25.44
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 2537 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915460

[startup+51.2928 s]
/proc/loadavg: 1.16 0.66 1.10 3/87 29767
/proc/meminfo: memFree=1599528/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=51.01
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 5094 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915460

[startup+102.573 s]
/proc/loadavg: 1.63 0.86 1.14 3/87 29767
/proc/meminfo: memFree=1599536/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=102.05
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 10198 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915460

[startup+162.591 s]
/proc/loadavg: 1.86 1.07 1.20 3/87 29767
/proc/meminfo: memFree=1599536/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=161.8
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 16172 8 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 915460

[startup+222.614 s]
/proc/loadavg: 1.95 1.23 1.24 3/87 29767
/proc/meminfo: memFree=1599536/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=221.54
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 22146 8 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 915460

[startup+282.627 s]
/proc/loadavg: 1.42 1.20 1.23 2/81 29914
/proc/meminfo: memFree=1628688/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=281.45
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 28136 9 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.45
Current children cumulated vsize (KiB) 915460

[startup+342.653 s]
/proc/loadavg: 1.51 1.25 1.24 3/87 30021
/proc/meminfo: memFree=1470104/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=341.39
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9648 0 1 0 34128 11 0 0 25 0 8 0 156499904 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9382 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.39
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 391.116
CPU time (s): 389.804
CPU user time (s): 389.675
CPU system time (s): 0.12898
CPU usage (%): 99.6644
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.675
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9655
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= 9099
involuntary context switches= 12663

runsolver used 0.432934 s user time and 0.995848 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Sat Jan  6 10:56:54 UTC 2007


IDJOB= 229832
IDBENCH= 6364
FILE ID= node58/229832-1168081006

PBS_JOBID= 3476181

Free space on /tmp= 66534 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229832-1168081006/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-229832-1168081006 -o ROOT/results/node58/solver-229832-1168081006 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229832-1168081006/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5dd6e886dd59462738b4787e4740e36f

RANDOM SEED= 615202100

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.223
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.223
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:       1656352 kB
Buffers:         23112 kB
Cached:         290776 kB
SwapCached:          0 kB
Active:          79452 kB
Inactive:       254656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1656352 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4092 kB
Writeback:           0 kB
Mapped:          30440 kB
Slab:            51320 kB
Committed_AS:  2230448 kB
PageTables:       1572 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= 66533 MiB



End job on node58 on Sat Jan  6 11:03:31 UTC 2007