Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | SAT | 13.3246 | 5.61067 |
Name | MisteryShopper/ MisteryShopper-04_c18.xml |
MD5SUM | 0b82fb3eeae4b26efaa96bf656c68c27 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.49755 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 144 |
Number of constraints | 109 |
Number of domains | 3 |
Minimum domain size | 3 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":3,"count":36},{"size":4,"count":36},{"size":12,"count":72}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":72},{"degree":3,"count":36},{"degree":4,"count":27},{"degree":5,"count":9}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":27},{"arity":12,"count":6},{"arity":24,"count":3},{"arity":36,"count":1}] |
Number of extensional constraints | 72 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":72},{"type":"allDifferent","count":30},{"type":"ordered","count":3},{"type":"lex","count":1},{"type":"channel","count":3}] |
Optimization problem | NO |
Type of objective |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 1227948890 0.66/0.55 c timeout: 20160 0.66/0.56 c memlimit: 22000 0.66/0.56 c nbcore: 8 0.66/0.58 c Parsing instance... 1.41/0.94 c Parsing done, starting search... 12.81/5.59 s SATISFIABLE 12.81/5.59 v <instantiation> 12.81/5.59 v <list> 12.81/5.59 v vr[0][0] vr[0][1] vr[0][2] vr[1][0] vr[1][1] vr[1][2] vr[2][0] vr[2][1] vr[2][2] vr[3][0] vr[3][1] vr[3][2] vr[4][0] vr[4][1] vr[4][2] vr[5][0] vr[5][1] vr[5][2] vr[6][0] vr[6][1] vr[6][2] vr[7][0] vr[7][1] vr[7][2] vr[8][0] vr[8][1] vr[8][2] vr[9][0] vr[9][1] vr[9][2] vr[10][0] vr[10][1] vr[10][2] vr[11][0] vr[11][1] vr[11][2] ve[0][0] ve[0][1] ve[0][2] ve[1][0] ve[1][1] ve[1][2] ve[2][0] ve[2][1] ve[2][2] ve[3][0] ve[3][1] ve[3][2] ve[4][0] ve[4][1] ve[4][2] ve[5][0] ve[5][1] ve[5][2] ve[6][0] ve[6][1] ve[6][2] ve[7][0] ve[7][1] ve[7][2] ve[8][0] ve[8][1] ve[8][2] ve[9][0] ve[9][1] ve[9][2] ve[10][0] ve[10][1] ve[10][2] ve[11][0] ve[11][1] ve[11][2] gvr[0][0] gvr[0][1] gvr[0][2] gvr[1][0] gvr[1][1] gvr[1][2] gvr[2][0] gvr[2][1] gvr[2][2] gvr[3][0] gvr[3][1] gvr[3][2] gvr[4][0] gvr[4][1] gvr[4][2] gvr[5][0] gvr[5][1] gvr[5][2] gvr[6][0] gvr[6][1] gvr[6][2] gvr[7][0] gvr[7][1] gvr[7][2] gvr[8][0] gvr[8][1] gvr[8][2] gvr[9][0] gvr[9][1] gvr[9][2] gvr[10][0] gvr[10][1] gvr[10][2] gvr[11][0] gvr[11][1] gvr[11][2] gve[0][0] gve[0][1] gve[0][2] gve[1][0] gve[1][1] gve[1][2] gve[2][0] gve[2][1] gve[2][2] gve[3][0] gve[3][1] gve[3][2] gve[4][0] gve[4][1] gve[4][2] gve[5][0] gve[5][1] gve[5][2] gve[6][0] gve[6][1] gve[6][2] gve[7][0] gve[7][1] gve[7][2] gve[8][0] gve[8][1] gve[8][2] gve[9][0] gve[9][1] gve[9][2] gve[10][0] gve[10][1] gve[10][2] gve[11][0] gve[11][1] gve[11][2] 12.81/5.59 v </list> 12.81/5.59 v <values> 12.81/5.59 v 0 4 8 1 11 7 2 9 6 3 10 5 4 8 0 5 3 9 6 2 10 7 1 11 8 0 4 9 5 1 10 6 2 11 7 3 0 8 4 1 7 9 2 6 10 3 5 11 4 0 8 5 9 3 6 10 2 7 11 1 8 4 0 9 2 5 10 3 6 11 1 7 0 1 2 0 2 1 0 2 1 0 2 1 1 2 0 1 0 2 1 0 2 1 0 2 2 0 1 2 1 0 2 1 0 2 1 0 0 2 1 0 2 3 0 2 3 1 2 3 1 0 2 2 3 1 2 3 0 2 3 0 2 1 0 3 0 2 3 1 2 3 0 2 12.81/5.59 v </values> 12.81/5.59 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (10569 MiB free) memory of node 1: 16384 MiB (12367 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291419-1532658173/watcher-4291419-1532658173 -o /tmp/evaluation-result-4291419-1532658173/solver-4291419-1532658173 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532655521-11925 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1227948890 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291419-1532658173.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=12569, runsolver pid=12566 [startup+0.107713 s]* /proc/loadavg: 4.92 7.66 8.44 2/204 12589 /proc/meminfo: memFree=23469856/32770624 swapFree=67108860/67108860 [pid=12569] ppid=12566 vsize=26103424 memory=31744 CPUtime=0.12 cores=0-7 /proc/12569/stat : 12569 (java) S 12566 12569 11898 0 -1 1077944320 7402 0 0 0 10 2 0 0 20 0 20 0 83380568 26729906176 7936 33554432000 4194304 4196468 140724323570400 140724323552944 139715042963191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 /proc/12569/statm: 6525856 7936 3141 1 0 6487932 0 [pid=12569/tid=12571] ppid=12566 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) R 12566 12569 11898 0 -1 4202560 5460 0 0 0 8 1 0 0 20 0 20 0 83380568 26729906176 7936 33554432000 4194304 4196468 140724323570400 139715047173240 139715042985117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12572] ppid=12566 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714965543952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12573] ppid=12566 vsize=26103424 memory=140218659026560 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714964491408 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12574] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714963438352 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12575] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714962385808 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12576] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714961332752 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12577] ppid=12566 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714960280208 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12578] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714959227152 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12579] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714958174608 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12580] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714552056560 139715042974338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12581] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12566 12569 11898 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714551002784 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12582] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12566 12569 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 7936 33554432000 4194304 4196468 140724323570400 139714549949680 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12583] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 7936 33554432000 4194304 4196468 140724323570400 139713245112784 139715042981787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12584] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12566 12569 11898 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 7936 33554432000 4194304 4196468 140724323570400 139713244059888 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12585] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 7936 33554432000 4194304 4196468 140724323570400 139713243007344 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12586] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 7936 33554432000 4194304 4196468 140724323570400 139713241954288 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12587] ppid=12566 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) R 12566 12569 11898 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 83380574 26729906176 7936 33554432000 4194304 4196468 140724323570400 139713240901744 139715042984538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12588] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 7936 33554432000 4194304 4196468 140724323570400 139713239849952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12589] ppid=12566 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12589/stat : 12589 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 7936 33554432000 4194304 4196468 140724323570400 139713238797488 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 31744 KiB [startup+0.210685 s]* /proc/loadavg: 4.92 7.66 8.44 3/204 12589 /proc/meminfo: memFree=23457472/32770624 swapFree=67108860/67108860 [pid=12569] ppid=12566 vsize=26103424 memory=43036 CPUtime=0.3 cores=0-7 /proc/12569/stat : 12569 (java) S 12566 12569 11898 0 -1 1077944320 10419 0 0 0 27 3 0 0 20 0 20 0 83380568 26729906176 10759 33554432000 4194304 4196468 140724323570400 140724323552944 139715042963191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 /proc/12569/statm: 6525856 10759 3341 1 0 6487932 0 [pid=12569/tid=12571] ppid=12566 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) R 12566 12569 11898 0 -1 4202560 8171 0 0 0 18 2 0 0 20 0 20 0 83380568 26729906176 10759 33554432000 4194304 4196468 140724323570400 139715047190496 139715027006821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12572] ppid=12566 vsize=26103424 memory=13976 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714965543952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12573] ppid=12566 vsize=26103424 memory=140218659512365 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714964491408 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12574] ppid=12566 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714963438352 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12575] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714962385808 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12576] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714961332752 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12577] ppid=12566 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714960280208 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12578] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714959227152 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12579] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714958174608 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12580] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12566 12569 11898 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714552056560 139715042974338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12581] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12566 12569 11898 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714551002784 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12582] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12566 12569 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 10759 33554432000 4194304 4196468 140724323570400 139714549949680 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12583] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 10759 33554432000 4194304 4196468 140724323570400 139713245112784 139715042981787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12584] ppid=12566 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12566 12569 11898 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 20 0 83380574 26729906176 10759 33554432000 4194304 4196468 140724323570400 139713244059888 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12585] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12566 12569 11898 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 10759 33554432000 4194304 4196468 140724323570400 139713243007344 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12586] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12566 12569 11898 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 10759 33554432000 4194304 4196468 140724323570400 139713241954288 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12587] ppid=12566 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) R 12566 12569 11898 0 -1 4202560 309 0 0 0 6 0 0 0 20 0 20 0 83380574 26729906176 10759 33554432000 4194304 4196468 140724323570400 139713240901744 139715035200318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12588] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 10759 33554432000 4194304 4196468 140724323570400 139713239849952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12589] ppid=12566 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12589/stat : 12589 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 10759 33554432000 4194304 4196468 140724323570400 139713238797488 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43036 KiB [startup+0.310773 s]* /proc/loadavg: 4.92 7.66 8.44 3/204 12589 /proc/meminfo: memFree=23453440/32770624 swapFree=67108860/67108860 [pid=12569] ppid=12566 vsize=26103424 memory=46552 CPUtime=0.42 cores=0-7 /proc/12569/stat : 12569 (java) S 12566 12569 11898 0 -1 1077944320 10874 0 0 0 39 3 0 0 20 0 20 0 83380568 26729906176 11638 33554432000 4194304 4196468 140724323570400 140724323552944 139715042963191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 /proc/12569/statm: 6525856 11638 3375 1 0 6487932 0 [pid=12569/tid=12571] ppid=12566 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) R 12566 12569 11898 0 -1 4202560 8520 0 0 0 27 2 0 0 20 0 20 0 83380568 26729906176 11638 33554432000 4194304 4196468 140724323570400 139715047124928 139715024336640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12572] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714965543952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12573] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714964491408 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12574] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714963438352 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12575] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714962385808 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12576] ppid=12566 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714961332752 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12577] ppid=12566 vsize=26103424 memory=140218535605167 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714960280208 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12578] ppid=12566 vsize=26103424 memory=140218535607472 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714959227152 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12579] ppid=12566 vsize=26103424 memory=140218535609776 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380569 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714958174608 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12580] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12566 12569 11898 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714552056560 139715042974338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12581] ppid=12566 vsize=26103424 memory=280437071226512 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12566 12569 11898 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714551002784 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12582] ppid=12566 vsize=26103424 memory=280437071233424 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12566 12569 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83380571 26729906176 11638 33554432000 4194304 4196468 140724323570400 139714549949680 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12583] ppid=12566 vsize=26103424 memory=280437071174704 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 11638 33554432000 4194304 4196468 140724323570400 139713245112784 139715042981787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12584] ppid=12566 vsize=26103424 memory=280437071247248 CPUtime=0.02 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12566 12569 11898 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 20 0 83380574 26729906176 11638 33554432000 4194304 4196468 140724323570400 139713244059888 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12585] ppid=12566 vsize=26103424 memory=280437071254160 CPUtime=0 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12566 12569 11898 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 11638 33554432000 4194304 4196468 140724323570400 139713243007344 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12586] ppid=12566 vsize=26103424 memory=280437071251856 CPUtime=0.01 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12566 12569 11898 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 83380574 26729906176 11638 33554432000 4194304 4196468 140724323570400 139713241954288 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12587] ppid=12566 vsize=26103424 memory=280437071268464 CPUtime=0.07 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12566 12569 11898 0 -1 1077944384 324 0 0 0 7 0 0 0 20 0 20 0 83380574 26729906176 11638 33554432000 4194304 4196468 140724323570400 139713240901744 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12588] ppid=12566 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 11638 33554432000 4194304 4196468 140724323570400 139713239849952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12589] ppid=12566 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12589/stat : 12589 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26729906176 11638 33554432000 4194304 4196468 140724323570400 139713238797488 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46552 KiB [startup+0.700941 s] /proc/loadavg: 4.92 7.66 8.44 3/204 12589 /proc/meminfo: memFree=23429628/32770624 swapFree=67108860/67108860 [pid=12569] ppid=12566 vsize=26105492 memory=85420 CPUtime=0.99 cores=0-7 /proc/12569/stat : 12569 (java) S 12566 12569 11898 0 -1 1077944320 17808 0 0 0 93 6 0 0 20 0 20 0 83380568 26732023808 21355 33554432000 4194304 4196468 140724323570400 140724323552944 139715042963191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 /proc/12569/statm: 6526373 21355 3497 1 0 6488444 0 [pid=12569/tid=12571] ppid=12566 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) R 12566 12569 11898 0 -1 4202560 15017 0 0 0 63 4 0 0 20 0 20 0 83380568 26732023808 21355 33554432000 4194304 4196468 140724323570400 139715047178160 139715027043678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12572] ppid=12566 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714965543952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12573] ppid=12566 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714964491408 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12574] ppid=12566 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714963438352 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12575] ppid=12566 vsize=26105492 memory=1228 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714962385808 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12576] ppid=12566 vsize=26105492 memory=1704 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12566 12569 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714961332752 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12577] ppid=12566 vsize=26105492 memory=1952 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714960280208 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12578] ppid=12566 vsize=26105492 memory=10576 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714959227152 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12579] ppid=12566 vsize=26105492 memory=15872 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380569 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714958174608 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12580] ppid=12566 vsize=26105492 memory=18280 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12566 12569 11898 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83380571 26732023808 21355 33554432000 4194304 4196468 140724323570400 139714552056560 139715042974338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 ################ # More data... # ################ # the end of solver process 12569 was just reported to runsolver # cumulated CPU time of all completed processes: user=13.0391 s, system=0.285513 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20114 s] /proc/loadavg: 4.61 7.55 8.40 4/204 12589 /proc/meminfo: memFree=23254244/32770624 swapFree=67108860/67108860 [pid=12569] ppid=12566 vsize=26113684 memory=246744 CPUtime=8.82 cores=0-7 /proc/12569/stat : 12569 (java) S 12566 12569 11898 0 -1 1077944320 44537 0 0 0 863 19 0 0 20 0 20 0 83380568 26740412416 61686 33554432000 4194304 4196468 140724323570400 140724323552944 139715042963191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 /proc/12569/statm: 6528421 61686 3573 1 0 6490492 0 [pid=12569/tid=12571] ppid=12566 vsize=26113684 memory=0 CPUtime=3.15 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) R 12566 12569 11898 0 -1 4202560 19621 0 0 0 307 8 0 0 20 0 20 0 83380568 26740412416 61686 33554432000 4194304 4196468 140724323570400 139715047195984 139715028173480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12572] ppid=12566 vsize=26113684 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12566 12569 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714965543952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12573] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12566 12569 11898 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714964491408 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12574] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12566 12569 11898 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714963438352 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12575] ppid=12566 vsize=26113684 memory=665094538484580259 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12566 12569 11898 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714962385808 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12576] ppid=12566 vsize=26113684 memory=-7737605721172012177 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12566 12569 11898 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714961332752 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12577] ppid=12566 vsize=26113684 memory=-7385037593950845031 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12566 12569 11898 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714960280208 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12578] ppid=12566 vsize=26113684 memory=-8458152057954561420 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12566 12569 11898 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714959227152 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12579] ppid=12566 vsize=26113684 memory=-8675733323038954102 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12566 12569 11898 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714958174608 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12580] ppid=12566 vsize=26113684 memory=-6374957858630779283 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12566 12569 11898 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 83380571 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714552056560 139715042974338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12581] ppid=12566 vsize=26113684 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12566 12569 11898 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 83380571 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714551002848 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12582] ppid=12566 vsize=26113684 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12566 12569 11898 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 83380571 26740412416 61686 33554432000 4194304 4196468 140724323570400 139714549949696 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12583] ppid=12566 vsize=26113684 memory=14689686639610196 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26740412416 61686 33554432000 4194304 4196468 140724323570400 139713245112784 139715042981787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12584] ppid=12566 vsize=26113684 memory=0 CPUtime=1.6 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12566 12569 11898 0 -1 1077944384 7505 0 0 0 157 3 0 0 20 0 20 0 83380574 26740412416 61686 33554432000 4194304 4196468 140724323570400 139713244059888 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12585] ppid=12566 vsize=26113684 memory=0 CPUtime=1.64 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12566 12569 11898 0 -1 1077944384 6099 0 0 0 161 3 0 0 20 0 20 0 83380574 26740412416 61686 33554432000 4194304 4196468 140724323570400 139713243007344 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12586] ppid=12566 vsize=26113684 memory=6656426216303648864 CPUtime=1.67 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12566 12569 11898 0 -1 1077944384 4173 0 0 0 165 2 0 0 20 0 20 0 83380574 26740412416 61686 33554432000 4194304 4196468 140724323570400 139713241954288 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12587] ppid=12566 vsize=26113684 memory=0 CPUtime=0.68 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12566 12569 11898 0 -1 1077944384 4437 0 0 0 68 0 0 0 20 0 20 0 83380574 26740412416 61686 33554432000 4194304 4196468 140724323570400 139713240901744 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12588] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380574 26740412416 61686 33554432000 4194304 4196468 140724323570400 139713239849952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12589] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12589/stat : 12589 (java) S 12566 12569 11898 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 83380574 26740412416 61686 33554432000 4194304 4196468 140724323570400 139713238797488 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 Current children cumulated CPU time: 8.82 s Current children cumulated vsize: 26113684 KiB Current children cumulated memory: 246744 KiB [startup+4.8009 s] /proc/loadavg: 4.61 7.55 8.40 3/204 12589 /proc/meminfo: memFree=23246736/32770624 swapFree=67108860/67108860 [pid=12569] ppid=12566 vsize=26113684 memory=256488 CPUtime=11.01 cores=0-7 /proc/12569/stat : 12569 (java) S 12566 12569 11898 0 -1 1077944320 45029 0 0 0 1080 21 0 0 20 0 20 0 83380568 26740412416 64122 33554432000 4194304 4196468 140724323570400 140724323552944 139715042963191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 /proc/12569/statm: 6528421 64122 3573 1 0 6490492 0 [pid=12569/tid=12571] ppid=12566 vsize=26113684 memory=6791534058613427641 CPUtime=4.74 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) R 12566 12569 11898 0 -1 4202560 19629 0 0 0 466 8 0 0 20 0 20 0 83380568 26740412416 64122 33554432000 4194304 4196468 140724323570400 139715047199712 139715024369466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12572] ppid=12566 vsize=26113684 memory=108035607388736 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12566 12569 11898 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714965543952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12573] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12566 12569 11898 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714964491408 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12574] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12566 12569 11898 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714963438352 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12575] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12566 12569 11898 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714962385808 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12576] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12566 12569 11898 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714961332752 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12577] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12566 12569 11898 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714960280208 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12578] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12566 12569 11898 0 -1 1077944384 550 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714959227152 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12579] ppid=12566 vsize=26113684 memory=-1161699032756030039 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12566 12569 11898 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 83380569 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714958174608 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12580] ppid=12566 vsize=26113684 memory=6872598998417432672 CPUtime=0.01 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12566 12569 11898 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 83380571 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714552056560 139715042974338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12581] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12566 12569 11898 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 83380571 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714551002848 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12582] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12566 12569 11898 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 83380571 26740412416 64122 33554432000 4194304 4196468 140724323570400 139714549949696 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12583] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83380574 26740412416 64122 33554432000 4194304 4196468 140724323570400 139713245112784 139715042981787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12584] ppid=12566 vsize=26113684 memory=0 CPUtime=1.76 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12566 12569 11898 0 -1 1077944384 7846 0 0 0 173 3 0 0 20 0 20 0 83380574 26740412416 64122 33554432000 4194304 4196468 140724323570400 139713244059888 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12585] ppid=12566 vsize=26113684 memory=256488 CPUtime=1.66 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12566 12569 11898 0 -1 1077944384 6104 0 0 0 163 3 0 0 20 0 20 0 83380574 26740412416 64122 33554432000 4194304 4196468 140724323570400 139713243007344 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12586] ppid=12566 vsize=26113684 memory=0 CPUtime=2.01 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12566 12569 11898 0 -1 1077944384 4214 0 0 0 199 2 0 0 20 0 20 0 83380574 26740412416 64122 33554432000 4194304 4196468 140724323570400 139713241954288 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12587] ppid=12566 vsize=26113684 memory=0 CPUtime=0.7 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12566 12569 11898 0 -1 1077944384 4479 0 0 0 70 0 0 0 20 0 20 0 83380574 26740412416 64122 33554432000 4194304 4196468 140724323570400 139713240901744 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12588] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83380574 26740412416 64122 33554432000 4194304 4196468 140724323570400 139713239849952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12589] ppid=12566 vsize=26113684 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12589/stat : 12589 (java) S 12566 12569 11898 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83380574 26740412416 64122 33554432000 4194304 4196468 140724323570400 139713238797488 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 Current children cumulated CPU time: 11.01 s Current children cumulated vsize: 26113684 KiB Current children cumulated memory: 256488 KiB [startup+5.20087 s] /proc/loadavg: 4.61 7.55 8.40 6/204 12589 /proc/meminfo: memFree=23245316/32770624 swapFree=67108860/67108860 [pid=12569] ppid=12566 vsize=26182296 memory=275660 CPUtime=11.99 cores=0-7 /proc/12569/stat : 12569 (java) S 12566 12569 11898 0 -1 1077944320 47882 0 0 0 1174 25 0 0 20 0 21 0 83380568 26810671104 68915 33554432000 4194304 4196468 140724323570400 140724323552944 139715042963191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 /proc/12569/statm: 6545574 68915 3589 1 0 6507645 0 [pid=12569/tid=12571] ppid=12566 vsize=26182296 memory=7234302108925973091 CPUtime=5.09 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) R 12566 12569 11898 0 -1 4202560 21083 0 0 0 501 8 0 0 20 0 21 0 83380568 26810671104 68915 33554432000 4194304 4196468 140724323570400 139715047183728 139715042985117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12572] ppid=12566 vsize=26182296 memory=7810487918915055718 CPUtime=0.02 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12566 12569 11898 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714965543952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12573] ppid=12566 vsize=26182296 memory=8026650869813564775 CPUtime=0.01 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12566 12569 11898 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714964491408 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12574] ppid=12566 vsize=26182296 memory=8099531882097108048 CPUtime=0.02 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12566 12569 11898 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714963438352 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12575] ppid=12566 vsize=26182296 memory=8099531882097108048 CPUtime=0.02 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12566 12569 11898 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714962385808 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12576] ppid=12566 vsize=26182296 memory=7237398200207235428 CPUtime=0.02 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12566 12569 11898 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714961332752 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12577] ppid=12566 vsize=26182296 memory=0 CPUtime=0.02 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12566 12569 11898 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714960280208 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12578] ppid=12566 vsize=26182296 memory=2241 CPUtime=0.01 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12566 12569 11898 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714959227152 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12579] ppid=12566 vsize=26182296 memory=2244 CPUtime=0.01 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12566 12569 11898 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 21 0 83380569 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714958174608 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12580] ppid=12566 vsize=26182296 memory=0 CPUtime=0.03 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12566 12569 11898 0 -1 1077944384 1164 0 0 0 3 0 0 0 20 0 21 0 83380571 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714552056560 139715042974338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12581] ppid=12566 vsize=26182296 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12566 12569 11898 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 21 0 83380571 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714551002848 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12582] ppid=12566 vsize=26182296 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12566 12569 11898 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 21 0 83380571 26810671104 68915 33554432000 4194304 4196468 140724323570400 139714549949696 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12583] ppid=12566 vsize=26182296 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12566 12569 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 83380574 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713245112784 139715042981787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12584] ppid=12566 vsize=26182296 memory=0 CPUtime=1.85 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12566 12569 11898 0 -1 1077944384 7890 0 0 0 182 3 0 0 20 0 21 0 83380574 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713244059888 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12585] ppid=12566 vsize=26182296 memory=0 CPUtime=1.75 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12566 12569 11898 0 -1 1077944384 6161 0 0 0 172 3 0 0 20 0 21 0 83380574 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713243007344 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12586] ppid=12566 vsize=26182296 memory=0 CPUtime=2.18 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12566 12569 11898 0 -1 1077944384 4246 0 0 0 216 2 0 0 20 0 21 0 83380574 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713241954288 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12587] ppid=12566 vsize=26182296 memory=0 CPUtime=0.82 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12566 12569 11898 0 -1 1077944384 4707 0 0 0 81 1 0 0 20 0 21 0 83380574 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713240901744 139715042974338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12588] ppid=12566 vsize=26182296 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12566 12569 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 83380574 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713239849952 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12589] ppid=12566 vsize=26182296 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/12569/task/12589/stat : 12589 (java) R 12566 12569 11898 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 21 0 83380574 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713238797488 139715042984538 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 [pid=12569/tid=12590] ppid=12566 vsize=26182296 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12590/stat : 12590 (java) S 12566 12569 11898 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 21 0 83381069 26810671104 68915 33554432000 4194304 4196468 140724323570400 139713225352192 139715042973397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24158208 140724323574861 140724323575045 140724323575045 140724323577807 0 Current children cumulated CPU time: 11.99 s Current children cumulated vsize: 26182296 KiB Current children cumulated memory: 275660 KiB [startup+5.60094 s]* /proc/loadavg: 4.61 7.55 8.40 2/186 12611 /proc/meminfo: memFree=23390880/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 5.61067 CPU time (s): 13.3246 CPU user time (s): 13.0391 CPU system time (s): 0.285513 CPU usage (%): 237.488 Max. virtual memory (cumulated for all children) (KiB): 27049676 Max. memory (cumulated for all children) (KiB): 279908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.0391 system time used= 0.285513 maximum resident set size= 283884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50752 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6923 involuntary context switches= 51 # summary of solver processes directly reported to runsolver: # pid: 12569 # total CPU time (s): 13.3246 # total CPU user time (s): 13.0391 # total CPU system time (s): 0.285513 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.061766 second user time and 0.099776 second system time The end
Begin job on node134 at 2018-07-27 04:22:53 IDJOB=4291419 IDBENCH=141396 IDSOLVER=2745 FILE ID=node134/4291419-1532658173 RUNJOBID= node134-1532655521-11925 PBS_JOBID= 21022224 Free space on /tmp= 55560 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-04_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291419-1532658173/watcher-4291419-1532658173 -o /tmp/evaluation-result-4291419-1532658173/solver-4291419-1532658173 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532655521-11925 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1227948890 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291419-1532658173.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0b82fb3eeae4b26efaa96bf656c68c27 RANDOM SEED=1227948890 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23487316 kB MemAvailable: 31955444 kB Buffers: 178056 kB Cached: 8550960 kB SwapCached: 0 kB Active: 2249288 kB Inactive: 6535848 kB Active(anon): 4808 kB Inactive(anon): 78916 kB Active(file): 2244480 kB Inactive(file): 6456932 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35928 kB Writeback: 0 kB AnonPages: 68892 kB Mapped: 40304 kB Shmem: 25248 kB Slab: 193048 kB SReclaimable: 165100 kB SUnreclaim: 27948 kB KernelStack: 3616 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55528 MiB End job on node134 at 2018-07-27 04:22:59