Trace number 278092

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
AbsconMax 109 EPFCMSAT (TO) 2400.13 2407.2

General information on the benchmark

NameMaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1100-987621_ext.xml
MD5SUMc73e20d392eefb144e7205551263a842
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints970
Best CPU time to get the best result obtained on this benchmark89.9593
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints1050
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1050
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/278092-1169275174/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.38	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.40	       =>  wckTime=0.09  cpuTime=0.08  mem=6M887
0.40	   
0.40	   relations being loaded...
0.41	   
0.42	   constraints being loaded...
0.59	     nbConstraints=1050  nbRelationTypes=31  nbExtensionStructures=31  nbSharedExtensionStructures=1019
0.59	     nbConflictsStructures=31  nbSharedConflictsStructures=1019  nbSharedBinaryRepresentations=0  maxDegree=93
0.59	     maxArity=3
0.59	       =>  wckTime=0.281  cpuTime=0.2  mem=10M788
0.64	   
0.64	   solver LocalSearchSolver being built... 
0.68	       =>  wckTime=0.366  cpuTime=0.24  mem=5M916
0.68	
0.68	s SATISFIABLE
0.68	o 923
0.68	c 127
0.68	o 930
0.68	c 120
0.68	o 935
0.68	c 115
0.69	o 941
0.69	c 109
0.69	o 950
0.69	c 100
0.69	o 951
0.69	c 99
0.69	o 954
0.69	c 96
0.69	o 955
0.69	c 95
0.71	o 957
0.71	c 93
0.71	o 959
0.71	c 91
0.71	o 961
0.71	c 89
0.81	o 964
0.82	c 86
0.82	o 965
0.82	c 85
0.82	o 966
0.82	c 84
0.89	o 967
0.89	c 83
1.00	o 968
1.00	c 82
1.17	o 969
1.17	c 81
2.97	o 970
2.97	c 80
4.46	   
4.46	   search
4.46	     run=0  nbConstraintChecks=21435827  nbAssignments=10000
4.46	       =>  wckTime=3.784  cpuTime=3.73  mem=5M916
8.24	   
8.24	   search
8.24	     run=1  nbConstraintChecks=43453734  nbAssignments=20000
8.24	       =>  wckTime=7.57  cpuTime=7.48  mem=5M916
11.94	   
11.94	   search
11.94	     run=2  nbConstraintChecks=64939940  nbAssignments=30000
11.94	       =>  wckTime=11.266  cpuTime=11.14  mem=5M916
15.69	   
15.69	   search
15.69	     run=3  nbConstraintChecks=87013222  nbAssignments=40000
15.69	       =>  wckTime=15.02  cpuTime=14.86  mem=5M916
19.36	   
19.36	   search
19.36	     run=4  nbConstraintChecks=108467911  nbAssignments=50000
19.36	       =>  wckTime=18.69  cpuTime=18.5  mem=5M916
23.15	   
23.15	   search
23.15	     run=5  nbConstraintChecks=130567181  nbAssignments=60000
23.15	       =>  wckTime=22.475  cpuTime=22.26  mem=5M916
26.85	   
26.85	   search
26.85	     run=6  nbConstraintChecks=152062725  nbAssignments=70000
26.85	       =>  wckTime=26.18  cpuTime=25.93  mem=5M916
30.65	   
30.65	   search
30.65	     run=7  nbConstraintChecks=174140051  nbAssignments=80000
30.65	       =>  wckTime=29.973  cpuTime=29.69  mem=5M916
33.23	   
33.23	   search
33.23	     run=8  nbConstraintChecks=189232367  nbAssignments=87099
33.23	       =>  wckTime=32.56  cpuTime=32.26  mem=5M916
33.24	   
33.24	   global
33.24	     nbConstraintChecks=189232367  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.24	     solvingWckTime=32.558  solvingCpuTime=32.26  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.24	     globalCpuTime=32.55
33.24	       =>  wckTime=32.926  cpuTime=32.5  mem=5M916
33.24	   
33.24	   solver IterativeSystematicSolver being built... 
33.42	       =>  wckTime=33.115  cpuTime=32.64  mem=22M847
33.52	   
33.52	   preprocessing
33.52	     nbConstraintChecks=9429  nbValidityChecks=22539  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.52	     nbRemovedValues=0  detectedInconsistency=no
33.52	       =>  wckTime=0.097  cpuTime=0.08  mem=22M847
33.60	   
33.60	   search
33.60	     run=0  nbConstraintChecks=17198  nbValidityChecks=53459  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.60	     nbAssignments=39  nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=59  nbRestartNogoods=0
33.60	       =>  wckTime=0.168  cpuTime=0.14  mem=22M847
33.68	   
33.68	   search
33.68	     run=1  nbConstraintChecks=41712  nbValidityChecks=125361  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.68	     nbAssignments=87  nbFailedAssignments=17  nbBacktracks=28  nbVisitedNodes=133  nbRestartNogoods=1
33.68	       =>  wckTime=0.254  cpuTime=0.21  mem=22M847
33.77	   
33.77	   search
33.77	     run=2  nbConstraintChecks=71103  nbValidityChecks=222936  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.77	     nbAssignments=145  nbFailedAssignments=33  nbBacktracks=51  nbVisitedNodes=229  nbRestartNogoods=2
33.77	       =>  wckTime=0.345  cpuTime=0.3  mem=22M847
33.91	   
33.91	   search
33.91	     run=3  nbConstraintChecks=118653  nbValidityChecks=378803  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.91	     nbAssignments=227  nbFailedAssignments=58  nbBacktracks=86  nbVisitedNodes=370  nbRestartNogoods=3
33.91	       =>  wckTime=0.479  cpuTime=0.43  mem=22M847
34.08	   
34.08	   search
34.08	     run=4  nbConstraintChecks=183016  nbValidityChecks=580621  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.08	     nbAssignments=327  nbFailedAssignments=88  nbBacktracks=136  nbVisitedNodes=548  nbRestartNogoods=5
34.08	       =>  wckTime=0.659  cpuTime=0.61  mem=22M847
34.34	   
34.34	   search
34.34	     run=5  nbConstraintChecks=282497  nbValidityChecks=896285  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.34	     nbAssignments=475  nbFailedAssignments=139  nbBacktracks=212  nbVisitedNodes=816  nbRestartNogoods=8
34.34	       =>  wckTime=0.913  cpuTime=0.85  mem=22M847
34.73	   
34.73	   search
34.73	     run=6  nbConstraintChecks=417937  nbValidityChecks=1386551  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.73	     nbAssignments=692  nbFailedAssignments=222  nbBacktracks=325  nbVisitedNodes=1222  nbRestartNogoods=10
34.73	       =>  wckTime=1.306  cpuTime=1.25  mem=22M847
35.28	   
35.28	   search
35.28	     run=7  nbConstraintChecks=631574  nbValidityChecks=2091916  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.28	     nbAssignments=993  nbFailedAssignments=335  nbBacktracks=495  nbVisitedNodes=1803  nbRestartNogoods=14
35.28	       =>  wckTime=1.853  cpuTime=1.79  mem=22M847
36.10	   
36.10	   search
36.10	     run=8  nbConstraintChecks=969073  nbValidityChecks=3193113  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.10	     nbAssignments=1455  nbFailedAssignments=517  nbBacktracks=752  nbVisitedNodes=2698  nbRestartNogoods=19
36.10	       =>  wckTime=2.675  cpuTime=2.59  mem=22M847
37.40	   
37.40	   search
37.40	     run=9  nbConstraintChecks=1434392  nbValidityChecks=4860128  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.40	     nbAssignments=2135  nbFailedAssignments=794  nbBacktracks=1136  nbVisitedNodes=4024  nbRestartNogoods=22
37.40	       =>  wckTime=3.975  cpuTime=3.86  mem=22M847
39.32	   
39.32	   search
39.32	     run=10  nbConstraintChecks=2108995  nbValidityChecks=7314633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.32	     nbAssignments=3127  nbFailedAssignments=1192  nbBacktracks=1712  nbVisitedNodes=5969  nbRestartNogoods=25
39.33	       =>  wckTime=5.899  cpuTime=5.76  mem=22M847
42.12	   
42.12	   search
42.12	     run=11  nbConstraintChecks=3141273  nbValidityChecks=11007465  nbPropagations=0  nbRevisions=0
42.12	     nbUselessRevisions=0  nbAssignments=4579  nbFailedAssignments=1762  nbBacktracks=2576  nbVisitedNodes=8832
42.12	     nbRestartNogoods=30
42.12	       =>  wckTime=8.697  cpuTime=8.53  mem=22M847
46.62	   
46.62	   search
46.62	     run=12  nbConstraintChecks=4644214  nbValidityChecks=16790685  nbPropagations=0  nbRevisions=0
46.62	     nbUselessRevisions=0  nbAssignments=6844  nbFailedAssignments=2709  nbBacktracks=3875  nbVisitedNodes=13284
46.62	     nbRestartNogoods=32
46.62	       =>  wckTime=13.192  cpuTime=12.99  mem=22M847
53.29	   
53.29	   search
53.29	     run=13  nbConstraintChecks=6925918  nbValidityChecks=25180870  nbPropagations=0  nbRevisions=0
53.29	     nbUselessRevisions=0  nbAssignments=10250  nbFailedAssignments=4149  nbBacktracks=5821  nbVisitedNodes=19953
53.29	     nbRestartNogoods=38
53.29	       =>  wckTime=19.868  cpuTime=19.61  mem=22M847
62.92	   
62.92	   search
62.92	     run=14  nbConstraintChecks=10304094  nbValidityChecks=37602321  nbPropagations=0  nbRevisions=0
62.92	     nbUselessRevisions=0  nbAssignments=15117  nbFailedAssignments=6078  nbBacktracks=8740  nbVisitedNodes=29552
62.92	     nbRestartNogoods=44
62.92	       =>  wckTime=29.491  cpuTime=29.14  mem=22M847
77.90	   
77.90	   search
77.90	     run=15  nbConstraintChecks=15209155  nbValidityChecks=56953514  nbPropagations=0  nbRevisions=0
77.90	     nbUselessRevisions=0  nbAssignments=22586  nbFailedAssignments=9149  nbBacktracks=13118  nbVisitedNodes=44254
77.90	     nbRestartNogoods=51
77.90	       =>  wckTime=44.474  cpuTime=44.01  mem=22M847
101.43	   
101.43	   search
101.43	     run=16  nbConstraintChecks=22695597  nbValidityChecks=86555816  nbPropagations=0  nbRevisions=0
101.43	     nbUselessRevisions=0  nbAssignments=34188  nbFailedAssignments=14165  nbBacktracks=19686  nbVisitedNodes=67002
101.43	     nbRestartNogoods=55
101.43	       =>  wckTime=68.004  cpuTime=67.35  mem=22M847
136.69	   
136.69	   search
136.69	     run=17  nbConstraintChecks=32999628  nbValidityChecks=129699879  nbPropagations=0  nbRevisions=0
136.69	     nbUselessRevisions=0  nbAssignments=51036  nbFailedAssignments=21140  nbBacktracks=29540  nbVisitedNodes=100019
136.69	     nbRestartNogoods=61
136.69	       =>  wckTime=103.26  cpuTime=102.31  mem=22M847
189.68	   
189.69	   search
189.69	     run=18  nbConstraintChecks=48555966  nbValidityChecks=193382013  nbPropagations=0  nbRevisions=0
189.69	     nbUselessRevisions=0  nbAssignments=76454  nbFailedAssignments=31760  nbBacktracks=44318  nbVisitedNodes=149671
189.69	     nbRestartNogoods=67
189.69	       =>  wckTime=156.257  cpuTime=154.86  mem=22M847
267.50	   
267.50	   search
267.50	     run=19  nbConstraintChecks=72973144  nbValidityChecks=289182157  nbPropagations=0  nbRevisions=0
267.50	     nbUselessRevisions=0  nbAssignments=114016  nbFailedAssignments=47137  nbBacktracks=66488  nbVisitedNodes=223462
267.50	     nbRestartNogoods=71
267.50	       =>  wckTime=234.073  cpuTime=231.98  mem=22M847
382.39	   
382.39	   search
382.39	     run=20  nbConstraintChecks=108403755  nbValidityChecks=431406527  nbPropagations=0  nbRevisions=0
382.39	     nbUselessRevisions=0  nbAssignments=170354  nbFailedAssignments=70203  nbBacktracks=99742  nbVisitedNodes=333127
382.39	     nbRestartNogoods=79
382.39	       =>  wckTime=348.965  cpuTime=345.88  mem=22M847
547.95	   
547.95	   search
547.95	     run=21  nbConstraintChecks=163595296  nbValidityChecks=630515916  nbPropagations=0  nbRevisions=0
547.95	     nbUselessRevisions=0  nbAssignments=254297  nbFailedAssignments=104251  nbBacktracks=149620  nbVisitedNodes=495586
547.95	     nbRestartNogoods=86
547.95	       =>  wckTime=514.526  cpuTime=510.05  mem=22M847
760.67	   
760.67	   search
760.67	     run=22  nbConstraintChecks=245040478  nbValidityChecks=908601033  nbPropagations=0  nbRevisions=0
760.67	     nbUselessRevisions=0  nbAssignments=376805  nbFailedAssignments=151919  nbBacktracks=224439  nbVisitedNodes=728733
760.67	     nbRestartNogoods=96
760.67	       =>  wckTime=727.243  cpuTime=722.19  mem=22M847
1037.90	   
1037.90	   search
1037.90	     run=23  nbConstraintChecks=361318977  nbValidityChecks=1277993188  nbPropagations=0  nbRevisions=0
1037.90	     nbUselessRevisions=0  nbAssignments=554117  nbFailedAssignments=216981  nbBacktracks=336666  nbVisitedNodes=1053769
1037.90	     nbRestartNogoods=102
1037.90	       =>  wckTime=1004.469  cpuTime=999.12  mem=22M847
1402.75	   
1402.75	   search
1402.75	     run=24  nbConstraintChecks=532746254  nbValidityChecks=1781251673  nbPropagations=0  nbRevisions=0
1402.75	     nbUselessRevisions=0  nbAssignments=807138  nbFailedAssignments=301638  nbBacktracks=505007  nbVisitedNodes=1501769
1402.75	     nbRestartNogoods=111
1402.75	       =>  wckTime=1369.325  cpuTime=1363.52  mem=22M847
1894.46	   
1894.46	   search
1894.46	     run=25  nbConstraintChecks=751637440  nbValidityChecks=2427694099  nbPropagations=0  nbRevisions=0
1894.46	     nbUselessRevisions=0  nbAssignments=1167270  nbFailedAssignments=409236  nbBacktracks=757519
1894.46	     nbVisitedNodes=2104007  nbRestartNogoods=121
1894.46	       =>  wckTime=1861.032  cpuTime=1854.71  mem=22M847
2407.16	v 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1

Verifier Data (download as text)

80 unsatisfied constraints, 970 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-278092-1169275174 -o ROOT/results/node9/solver-278092-1169275174 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278092-1169275174/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 2.04 2.01 2.00 4/86 2829
/proc/meminfo: memFree=1270672/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=11820 CPUtime=0
/proc/2828/stat : 2828 (java) D 2826 2828 1928 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 275912589 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8663844 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/2828/statm: 2955 510 421 14 0 1602 0

[startup+0.103486 s]
/proc/loadavg: 2.04 2.01 2.00 4/86 2829
/proc/meminfo: memFree=1270672/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=914988 CPUtime=0.09
/proc/2828/stat : 2828 (java) S 2826 2828 1928 0 -1 0 2994 0 1 0 8 1 0 0 17 0 8 0 275912589 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515535 s]
/proc/loadavg: 2.04 2.01 2.00 4/86 2829
/proc/meminfo: memFree=1270672/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915332 CPUtime=0.5
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 6381 0 1 0 47 3 0 0 18 0 8 0 275912589 937299968 6120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228833 6120 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34062 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250968/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=1.31
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7611 0 1 0 121 10 0 0 25 0 8 0 275912589 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073713859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7349 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 343 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7349 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) 915428

[startup+2.97781 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250904/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2.93
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7612 0 1 0 265 28 0 0 25 0 8 0 275912589 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7349 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 343 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915428

[startup+6.25818 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250840/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=6.18
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7614 0 1 0 557 61 0 0 25 0 8 0 275912589 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073713400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7351 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 345 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915428

[startup+12.7439 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250840/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=12.62
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7615 0 1 0 1134 128 0 0 25 0 8 0 275912589 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7352 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915428

[startup+25.6014 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250904/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=25.37
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7615 0 1 0 2271 266 0 0 25 0 8 0 275912589 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7352 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915428

[startup+51.2133 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1239000/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=50.77
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10655 0 1 0 4730 347 0 0 25 0 8 0 275912589 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 10388 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.28
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915428

[startup+102.438 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 2836
/proc/meminfo: memFree=1238936/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=101.56
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10665 0 1 0 9809 347 0 0 25 0 8 0 275912589 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 10398 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.28
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915428

[startup+162.512 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2836
/proc/meminfo: memFree=1238936/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=161.14
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10669 0 1 0 15766 348 0 0 25 0 8 0 275912589 937398272 10402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2017.88
Current children cumulated vsize (KiB) 915428

[startup+2084.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2077.83
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 207416 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2077.83
Current children cumulated vsize (KiB) 915428

[startup+2144.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2137.8
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 213413 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2137.8
Current children cumulated vsize (KiB) 915428

[startup+2204.62 s]
/proc/loadavg: 2.11 2.03 2.01 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2197.77
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 219410 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896498 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2197.77
Current children cumulated vsize (KiB) 915428

[startup+2264.65 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 3197
/proc/meminfo: memFree=1232728/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2257.71
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 225404 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2257.71
Current children cumulated vsize (KiB) 915428

[startup+2324.67 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2317.69
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 231402 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2317.69
Current children cumulated vsize (KiB) 915428

[startup+2384.69 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2377.65
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 237398 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2377.65
Current children cumulated vsize (KiB) 915428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2407.15 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 3197
/proc/meminfo: memFree=1232728/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2400.07
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 239640 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896482 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915428

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

Child status: 143
Real time (s): 2407.2
CPU time (s): 2400.13
CPU user time (s): 2396.44
CPU system time (s): 3.68444
CPU usage (%): 99.7063
Max. virtual memory (cumulated for all children) (KiB): 915432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.44
system time used= 3.68444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10715
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= 49949
involuntary context switches= 97711

runsolver used 2.98055 s user time and 7.68183 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan 20 06:39:34 UTC 2007


IDJOB= 278092
IDBENCH= 8019
IDSOLVER= 68
FILE ID= node9/278092-1169275174

PBS_JOBID= 3607429

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1100-987621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278092-1169275174/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-278092-1169275174 -o ROOT/results/node9/solver-278092-1169275174 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278092-1169275174/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c73e20d392eefb144e7205551263a842

RANDOM SEED= 220336005

TIME LIMIT= 2400 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.231
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.231
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:       1271152 kB
Buffers:         59724 kB
Cached:         589680 kB
SwapCached:        268 kB
Active:         290184 kB
Inactive:       409776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1271152 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:          63568 kB
Slab:            69696 kB
Committed_AS:  8360708 kB
PageTables:       2252 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= 66563 MiB



End job on node9 on Sat Jan 20 07:19:42 UTC 2007