Trace number 229794

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 300.986 301.259

DiagnosticValue
CHECKS1938949376
NODES1270628

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-47_ext.xml
MD5SUM34d660f97c2aa6cd4abc948e6021373c
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 benchmark76.4564
SatisfiableYES
(Un)Satisfiability was proved
Number of variables50
Number of constraints461
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension461
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/229794-1168080995/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.40	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.40	   
0.40	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.67	     nbConstraints=461  nbRelationTypes=461  nbExtensionStructures=461  nbSharedExtensionStructures=0
0.67	     nbConflictsStructures=461  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2255  maxDegree=28
0.67	     maxArity=2
0.67	       =>  wckTime=0.374  cpuTime=0.3  mem=17M696
0.72	   
0.72	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.565  cpuTime=0.43  mem=15M357
0.87	   
0.87	   preprocessing
0.87	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.87	     detectedInconsistency=no
0.87	       =>  wckTime=0.0080  cpuTime=0.0  mem=15M357
0.92	   
0.92	   search
0.92	     run=0  nbConstraintChecks=43343  nbPropagations=595  nbRevisions=6800  nbUselessRevisions=5729  nbAssignments=27
0.92	     nbFailedAssignments=4  nbBacktracks=12  nbVisitedNodes=40  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.052  cpuTime=0.03  mem=15M357
0.94	   
0.94	   search
0.94	     run=1  nbConstraintChecks=103321  nbPropagations=1944  nbRevisions=23789  nbUselessRevisions=19931
0.94	     nbAssignments=66  nbFailedAssignments=17  nbBacktracks=27  nbVisitedNodes=102  nbRestartNogoods=3  mapSize=22
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.078  cpuTime=0.04  mem=15M357
0.96	   
0.96	   search
0.96	     run=2  nbConstraintChecks=169467  nbPropagations=4101  nbRevisions=51467  nbUselessRevisions=42972
0.96	     nbAssignments=114  nbFailedAssignments=31  nbBacktracks=49  nbVisitedNodes=175  nbRestartNogoods=8  mapSize=41
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.096  cpuTime=0.06  mem=15M357
0.98	   
0.98	   search
0.98	     run=3  nbConstraintChecks=275979  nbPropagations=7658  nbRevisions=99340  nbUselessRevisions=82599
0.98	     nbAssignments=186  nbFailedAssignments=58  nbBacktracks=83  nbVisitedNodes=295  nbRestartNogoods=11  mapSize=70
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.119  cpuTime=0.08  mem=15M357
1.01	   
1.01	   search
1.01	     run=4  nbConstraintChecks=420673  nbPropagations=12918  nbRevisions=171767  nbUselessRevisions=142239
1.01	     nbAssignments=272  nbFailedAssignments=84  nbBacktracks=134  nbVisitedNodes=433  nbRestartNogoods=14  mapSize=104
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.148  cpuTime=0.11  mem=15M357
1.06	   
1.06	   search
1.06	     run=5  nbConstraintChecks=631563  nbPropagations=20831  nbRevisions=282303  nbUselessRevisions=233192
1.06	     nbAssignments=410  nbFailedAssignments=134  nbBacktracks=210  nbVisitedNodes=664  nbRestartNogoods=18  mapSize=168
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.19  cpuTime=0.15  mem=15M357
1.12	   
1.12	   search
1.12	     run=6  nbConstraintChecks=946191  nbPropagations=32779  nbRevisions=454883  nbUselessRevisions=375896
1.12	     nbAssignments=618  nbFailedAssignments=216  nbBacktracks=324  nbVisitedNodes=1016  nbRestartNogoods=23  mapSize=267
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.251  cpuTime=0.21  mem=15M357
1.20	   
1.20	   search
1.20	     run=7  nbConstraintChecks=1412920  nbPropagations=50388  nbRevisions=713026  nbUselessRevisions=588746
1.20	     nbAssignments=908  nbFailedAssignments=325  nbBacktracks=494  nbVisitedNodes=1511  nbRestartNogoods=30  mapSize=402
1.20	     nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.337  cpuTime=0.29  mem=15M357
1.30	   
1.30	   search
1.30	     run=8  nbConstraintChecks=1915730  nbPropagations=74807  nbRevisions=1070571  nbUselessRevisions=883588
1.30	     nbAssignments=1322  nbFailedAssignments=471  nbBacktracks=750  nbVisitedNodes=2174  nbRestartNogoods=36
1.30	     mapSize=590  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.437  cpuTime=0.39  mem=15M357
1.50	   
1.50	   search
1.50	     run=9  nbConstraintChecks=3023115  nbPropagations=112411  nbRevisions=1635571  nbUselessRevisions=1349056
1.50	     nbAssignments=2004  nbFailedAssignments=759  nbBacktracks=1134  nbVisitedNodes=3367  nbRestartNogoods=44
1.50	     mapSize=927  nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.634  cpuTime=0.57  mem=15M357
1.55	   
1.55	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=15M357)
1.75	   
1.75	   search
1.75	     run=10  nbConstraintChecks=4512384  nbPropagations=168203  nbRevisions=2482332  nbUselessRevisions=2045201
1.75	     nbAssignments=2967  nbFailedAssignments=1136  nbBacktracks=1712  nbVisitedNodes=5001  nbRestartNogoods=47
1.75	       =>  wckTime=0.881  cpuTime=0.81  mem=15M357
2.08	   
2.08	   search
2.08	     run=11  nbConstraintChecks=6621813  nbPropagations=250379  nbRevisions=3740687  nbUselessRevisions=3080945
2.08	     nbAssignments=4378  nbFailedAssignments=1669  nbBacktracks=2576  nbVisitedNodes=7374  nbRestartNogoods=52
2.08	       =>  wckTime=1.217  cpuTime=1.14  mem=15M357
2.53	   
2.53	   search
2.53	     run=12  nbConstraintChecks=9275508  nbPropagations=370461  nbRevisions=5564821  nbUselessRevisions=4583892
2.53	     nbAssignments=6484  nbFailedAssignments=2466  nbBacktracks=3873  nbVisitedNodes=10966  nbRestartNogoods=62
2.53	       =>  wckTime=1.668  cpuTime=1.59  mem=15M357
3.24	   
3.25	   search
3.25	     run=13  nbConstraintChecks=13734581  nbPropagations=548799  nbRevisions=8279933  nbUselessRevisions=6821682
3.25	     nbAssignments=9557  nbFailedAssignments=3583  nbBacktracks=5819  nbVisitedNodes=16206  nbRestartNogoods=73
3.25	       =>  wckTime=2.381  cpuTime=2.31  mem=15M357
4.41	   
4.41	   search
4.41	     run=14  nbConstraintChecks=21252576  nbPropagations=818837  nbRevisions=12441164  nbUselessRevisions=10253271
4.41	     nbAssignments=14304  nbFailedAssignments=5402  nbBacktracks=8738  nbVisitedNodes=24301  nbRestartNogoods=78
4.41	       =>  wckTime=3.541  cpuTime=3.47  mem=15M357
6.09	   
6.09	   search
6.09	     run=15  nbConstraintChecks=32138194  nbPropagations=1223455  nbRevisions=18665123  nbUselessRevisions=15375430
6.09	     nbAssignments=21429  nbFailedAssignments=8138  nbBacktracks=13116  nbVisitedNodes=36417  nbRestartNogoods=90
6.09	       =>  wckTime=5.222  cpuTime=5.15  mem=15M357
8.58	   
8.58	   search
8.58	     run=16  nbConstraintChecks=48297286  nbPropagations=1829776  nbRevisions=27977070  nbUselessRevisions=23040500
8.58	     nbAssignments=31851  nbFailedAssignments=11984  nbBacktracks=19684  nbVisitedNodes=54125  nbRestartNogoods=101
8.58	       =>  wckTime=7.718  cpuTime=7.64  mem=15M357
12.20	   
12.20	   search
12.20	     run=17  nbConstraintChecks=71565893  nbPropagations=2728822  nbRevisions=41754980  nbUselessRevisions=34376096
12.20	     nbAssignments=47404  nbFailedAssignments=17673  nbBacktracks=29538  nbVisitedNodes=80449  nbRestartNogoods=106
12.20	       =>  wckTime=11.337  cpuTime=11.26  mem=15M357
17.48	   
17.48	   search
17.48	     run=18  nbConstraintChecks=104517448  nbPropagations=4061501  nbRevisions=62220381  nbUselessRevisions=51245248
17.48	     nbAssignments=70849  nbFailedAssignments=26333  nbBacktracks=44316  nbVisitedNodes=120159  nbRestartNogoods=114
17.48	       =>  wckTime=16.614  cpuTime=16.53  mem=15M357
25.77	   
25.77	   search
25.77	     run=19  nbConstraintChecks=157748632  nbPropagations=6064196  nbRevisions=93112396  nbUselessRevisions=76722651
25.77	     nbAssignments=106338  nbFailedAssignments=39645  nbBacktracks=66485  nbVisitedNodes=180614  nbRestartNogoods=118
25.77	       =>  wckTime=24.903  cpuTime=24.83  mem=15M357
38.68	   
38.68	   search
38.68	     run=20  nbConstraintChecks=243157976  nbPropagations=9090343  nbRevisions=139928821  nbUselessRevisions=115295353
38.68	     nbAssignments=159617  nbFailedAssignments=59660  nbBacktracks=99740  nbVisitedNodes=271362  nbRestartNogoods=127
38.68	       =>  wckTime=37.812  cpuTime=37.73  mem=15M357
57.04	   
57.04	   search
57.04	     run=21  nbConstraintChecks=358036585  nbPropagations=13615422  nbRevisions=210023290  nbUselessRevisions=173142217
57.04	     nbAssignments=239828  nbFailedAssignments=89982  nbBacktracks=149619  nbVisitedNodes=408236  nbRestartNogoods=133
57.04	       =>  wckTime=56.171  cpuTime=56.08  mem=15M357
84.82	   
84.82	   search
84.82	     run=22  nbConstraintChecks=535950441  nbPropagations=20390572  nbRevisions=315296419  nbUselessRevisions=260070346
84.82	     nbAssignments=359475  nbFailedAssignments=134801  nbBacktracks=224438  nbVisitedNodes=612387  nbRestartNogoods=145
84.82	       =>  wckTime=83.955  cpuTime=83.85  mem=15M357
127.76	   
127.76	   search
127.76	     run=23  nbConstraintChecks=817127421  nbPropagations=30606578  nbRevisions=474091347  nbUselessRevisions=391105095
127.76	     nbAssignments=539660  nbFailedAssignments=202747  nbBacktracks=336665  nbVisitedNodes=919304  nbRestartNogoods=160
127.76	       =>  wckTime=126.893  cpuTime=126.75  mem=15M357
191.04	   
191.04	   search
191.04	     run=24  nbConstraintChecks=1222764346  nbPropagations=45958142  nbRevisions=712184893  nbUselessRevisions=587531833
191.04	     nbAssignments=809797  nbFailedAssignments=304529  nbBacktracks=505008  nbVisitedNodes=1380655  nbRestartNogoods=178
191.04	       =>  wckTime=190.18  cpuTime=190.01  mem=15M357
287.50	   
287.50	   search
287.50	     run=25  nbConstraintChecks=1853941682  nbPropagations=69030590  nbRevisions=1069903992
287.50	     nbUselessRevisions=882479049  nbAssignments=1209152  nbFailedAssignments=451361  nbBacktracks=757519
287.50	     nbVisitedNodes=2059353  nbRestartNogoods=187
287.50	       =>  wckTime=286.633  cpuTime=286.36  mem=15M357
301.20	   
301.20	   search
301.20	     run=26  nbConstraintChecks=1938949376  nbPropagations=93239666  nbRevisions=1445206423
301.20	     nbUselessRevisions=1192004081  nbAssignments=1270628  nbFailedAssignments=474607  nbBacktracks=795699
301.20	     nbVisitedNodes=2164287  nbRestartNogoods=204
301.20	       =>  wckTime=300.338  cpuTime=300.04  mem=15M357
301.20	   
301.20	   global
301.20	     nbConstraintChecks=1938949376  nbPropagations=93239716  nbRevisions=1445206423  nbUselessRevisions=1192004081
301.20	     nbRestartNogoods=204  solvingWckTime=300.338  solvingCpuTime=300.04  expiredTime=no  totalExploration=no
301.20	     nbFoundSolutions=1  globalCpuTime=300.51
301.20	       =>  wckTime=300.906  cpuTime=300.47  mem=15M357
301.21	   
301.21	s SATISFIABLE
301.21	v 14 9 16 20 8 16 16 15 7 17 5 0 2 10 12 2 12 19 2 20 18 15 19 14 21 4 5 12 12 10 6 3 12 12 10 5 10 0 12 2 14 8 3 10 11 9 5 3 3 19 
301.21	d NODES 1270628
301.21	d CHECKS 1938949376
301.21	   
301.21	   totalWckTime=300.981  totalCpuTime=300.51

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/node25/watcher-229794-1168080995 -o ROOT/results/node25/solver-229794-1168080995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229794-1168080995/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.38 0.67 0.87 4/81 31426
/proc/meminfo: memFree=1648976/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=1784 CPUtime=0
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156493743 1826816 160 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/31425/statm: 446 160 125 14 0 91 0

[startup+0.105744 s]
/proc/loadavg: 0.38 0.67 0.87 4/81 31426
/proc/meminfo: memFree=1648976/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=914988 CPUtime=0.08
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 3031 0 1 0 7 1 0 0 22 0 8 0 156493743 936947712 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31425/statm: 228747 2777 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517814 s]
/proc/loadavg: 0.38 0.67 0.87 4/81 31426
/proc/meminfo: memFree=1648976/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915328 CPUtime=0.49
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 7238 0 1 0 45 4 0 0 16 0 8 0 156493743 937295872 6977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228832 6978 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34195 s]
/proc/loadavg: 0.38 0.67 0.87 2/88 31433
/proc/meminfo: memFree=1621400/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=1.31
/proc/31425/stat : 31425 (java) S 31423 31425 31305 0 -1 0 9605 0 1 0 125 6 0 0 16 0 8 0 156493743 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9343 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.19
/proc/31425/task/31431/stat : 31431 (java) R 31423 31425 31305 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153144438 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.97922 s]
/proc/loadavg: 0.38 0.67 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=2.96
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9620 0 1 0 289 7 0 0 17 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 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) 915460

[startup+6.27478 s]
/proc/loadavg: 0.43 0.68 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=6.25
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9621 0 1 0 618 7 0 0 25 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460

[startup+12.7439 s]
/proc/loadavg: 0.47 0.68 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=12.72
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9621 0 1 0 1265 7 0 0 25 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 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) 915460

[startup+25.5871 s]
/proc/loadavg: 0.59 0.70 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=25.56
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9621 0 1 0 2549 7 0 0 25 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460

[startup+51.2774 s]
/proc/loadavg: 0.73 0.72 0.87 2/88 31434
/proc/meminfo: memFree=1623128/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=51.23
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9623 0 1 0 5116 7 0 0 25 0 8 0 156493743 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9358 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9358 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) 915460

[startup+102.552 s]
/proc/loadavg: 0.93 0.78 0.88 2/88 31439
/proc/meminfo: memFree=1623064/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=102.49
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 10241 8 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 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) 915460

[startup+162.588 s]
/proc/loadavg: 1.54 0.97 0.94 3/100 31481
/proc/meminfo: memFree=1593336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=162.49
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 16240 9 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.49
Current children cumulated vsize (KiB) 915460

[startup+222.614 s]
/proc/loadavg: 1.54 1.09 0.98 2/88 31489
/proc/meminfo: memFree=1620504/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=222.48
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 22239 9 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.48
Current children cumulated vsize (KiB) 915460

[startup+282.639 s]
/proc/loadavg: 1.31 1.10 0.99 2/94 31616
/proc/meminfo: memFree=1621280/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=282.43
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 28234 9 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.43
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 301.259
CPU time (s): 300.986
CPU user time (s): 300.876
CPU system time (s): 0.109983
CPU usage (%): 99.9093
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.876
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9633
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= 6904
involuntary context switches= 12473

runsolver used 0.305953 s user time and 0.84887 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 10:56:46 UTC 2007


IDJOB= 229794
IDBENCH= 6359
FILE ID= node25/229794-1168080995

PBS_JOBID= 3476117

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  34d660f97c2aa6cd4abc948e6021373c

RANDOM SEED= 612455333

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1625040 kB
Buffers:         44080 kB
Cached:         242948 kB
SwapCached:          0 kB
Active:         109516 kB
Inactive:       249860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1625040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4140 kB
Writeback:           0 kB
Mapped:         101372 kB
Slab:            56004 kB
Committed_AS:  3707728 kB
PageTables:       2408 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= 66548 MiB



End job on node25 on Sat Jan  6 11:02:02 UTC 2007