2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	OPT	6	14.7416	4.34894
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 (2813 MiB free)
  memory of node 1: 16384 MiB (3326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403630-1568988395/watcher-4403630-1568988395 -o /var/tmp/evaluation-result-4403630-1568988395/solver-4403630-1568988395 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1351641996 HOME/instance-4403630-1568988395.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2830, runsolver pid=2827

[startup+0.100059 s]*
/proc/loadavg: 8.03 8.21 6.61 8/235 2846
/proc/meminfo: memFree=6270004/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0
[pid=2832] ppid=2830 vsize=15144776 memory=29372 CPUtime=0.13 cores=1,3,5,7
/proc/2832/stat : 2832 (java) S 2830 2830 1883 0 -1 1077944320 5781 0 0 0 12 1 0 0 20 0 15 0 475095105 15508250624 7343 33554432000 4194304 4196468 140721545010688 140721544993232 139908310499063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
/proc/2832/statm: 3786194 7343 3152 1 0 3748377 0
[pid=2832/tid=2833] ppid=2830 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/2832/task/2833/stat : 2833 (java) R 2830 2830 1883 0 -1 4202560 3681 0 0 0 8 1 0 0 20 0 15 0 475095106 15508250624 7343 33554432000 4194304 4196468 140721545010688 139908314729248 139908310510998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2834] ppid=2830 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2834/stat : 2834 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095106 15508250624 7343 33554432000 4194304 4196468 140721545010688 139908238539920 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2835] ppid=2830 vsize=15144776 memory=139649129793152 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2835/stat : 2835 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15508250624 7343 33554432000 4194304 4196468 140721545010688 139908237487120 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2836] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2836/stat : 2836 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15508250624 7343 33554432000 4194304 4196468 140721545010688 139908236434320 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2837] ppid=2830 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2837/stat : 2837 (java) S 2830 2830 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095107 15508250624 7343 33554432000 4194304 4196468 140721545010688 139908235381520 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2838] ppid=2830 vsize=15144776 memory=139649129793152 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095108 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095108 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907777971232 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095109 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907776918384 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) S 2830 2830 1883 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907774815088 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) S 2830 2830 1883 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907773762288 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15144776 memory=139649129793152 CPUtime=0.02 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) R 2830 2830 1883 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 475095111 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907772709488 139908289417872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15144776 memory=139649129793152 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 7343 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30824 KiB

[startup+0.211758 s]*
/proc/loadavg: 8.03 8.21 6.61 9/235 2846
/proc/meminfo: memFree=6257052/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0
[pid=2832] ppid=2830 vsize=15144776 memory=41140 CPUtime=0.34 cores=1,3,5,7
/proc/2832/stat : 2832 (java) S 2830 2830 1883 0 -1 1077944320 9469 0 0 0 31 3 0 0 20 0 15 0 475095105 15508250624 10285 33554432000 4194304 4196468 140721545010688 140721544993232 139908310499063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
/proc/2832/statm: 3786194 10285 3315 1 0 3748377 0
[pid=2832/tid=2833] ppid=2830 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2832/task/2833/stat : 2833 (java) R 2830 2830 1883 0 -1 4202560 6665 0 0 0 18 2 0 0 20 0 15 0 475095106 15508250624 10285 33554432000 4194304 4196468 140721545010688 139908314735760 139908294579550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2834] ppid=2830 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2834/stat : 2834 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095106 15508250624 10285 33554432000 4194304 4196468 140721545010688 139908238539920 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2835] ppid=2830 vsize=15144776 memory=139649133014075 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2835/stat : 2835 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15508250624 10285 33554432000 4194304 4196468 140721545010688 139908237487120 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2836] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2836/stat : 2836 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15508250624 10285 33554432000 4194304 4196468 140721545010688 139908236434320 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2837] ppid=2830 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2837/stat : 2837 (java) S 2830 2830 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095107 15508250624 10285 33554432000 4194304 4196468 140721545010688 139908235381520 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2838] ppid=2830 vsize=15144776 memory=139649129793152 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475095108 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095108 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907777971232 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095109 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907776918384 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) S 2830 2830 1883 0 -1 1077944384 616 0 0 0 2 0 0 0 20 0 15 0 475095111 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907774815088 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) S 2830 2830 1883 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 15 0 475095111 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907773762288 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15144776 memory=139649129793152 CPUtime=0.08 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) R 2830 2830 1883 0 -1 4202560 735 0 0 0 8 0 0 0 20 0 15 0 475095111 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907772709488 139908310520410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095111 15508250624 10285 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42592 KiB

[startup+0.310692 s]*
/proc/loadavg: 8.03 8.21 6.61 7/235 2846
/proc/meminfo: memFree=6249520/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0
[pid=2832] ppid=2830 vsize=15149032 memory=50020 CPUtime=0.53 cores=1,3,5,7
/proc/2832/stat : 2832 (java) S 2830 2830 1883 0 -1 1077944320 10839 0 0 0 50 3 0 0 20 0 15 0 475095105 15512608768 12505 33554432000 4194304 4196468 140721545010688 140721544993232 139908310499063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
/proc/2832/statm: 3787258 12505 3354 1 0 3748377 0
[pid=2832/tid=2833] ppid=2830 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/2832/task/2833/stat : 2833 (java) R 2830 2830 1883 0 -1 4202560 7862 0 0 0 27 3 0 0 20 0 15 0 475095106 15512608768 12505 33554432000 4194304 4196468 140721545010688 139908314730176 139908310520989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2834] ppid=2830 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2834/stat : 2834 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095106 15512608768 12505 33554432000 4194304 4196468 140721545010688 139908238539920 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2835] ppid=2830 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2835/stat : 2835 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15512608768 12505 33554432000 4194304 4196468 140721545010688 139908237487120 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2836] ppid=2830 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2836/stat : 2836 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15512608768 12505 33554432000 4194304 4196468 140721545010688 139908236434320 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2837] ppid=2830 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2837/stat : 2837 (java) S 2830 2830 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095107 15512608768 12505 33554432000 4194304 4196468 140721545010688 139908235381520 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2838] ppid=2830 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475095108 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095108 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907777971232 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095109 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907776918384 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) S 2830 2830 1883 0 -1 1077944384 627 0 0 0 4 0 0 0 20 0 15 0 475095111 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907774815088 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) S 2830 2830 1883 0 -1 1077944384 259 0 0 0 5 0 0 0 20 0 15 0 475095111 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907773762288 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) S 2830 2830 1883 0 -1 1077944384 806 0 0 0 12 0 0 0 20 0 15 0 475095111 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907772709488 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095111 15512608768 12505 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51472 KiB

[startup+0.710309 s]
/proc/loadavg: 8.03 8.21 6.61 7/235 2846
/proc/meminfo: memFree=6231012/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0
[pid=2832] ppid=2830 vsize=15151156 memory=105788 CPUtime=1.78 cores=1,3,5,7
/proc/2832/stat : 2832 (java) S 2830 2830 1883 0 -1 1077944320 14032 0 0 0 173 5 0 0 20 0 15 0 475095105 15514783744 26447 33554432000 4194304 4196468 140721545010688 140721544993232 139908310499063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
/proc/2832/statm: 3787789 26447 3444 1 0 3748889 0
[pid=2832/tid=2833] ppid=2830 vsize=15151156 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/2832/task/2833/stat : 2833 (java) R 2830 2830 1883 0 -1 4202560 8452 0 0 0 65 4 0 0 20 0 15 0 475095106 15514783744 26447 33554432000 4194304 4196468 140721545010688 139908314736336 139907905388608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2834] ppid=2830 vsize=15151156 memory=164 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2834/stat : 2834 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095106 15514783744 26447 33554432000 4194304 4196468 140721545010688 139908238539920 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2835] ppid=2830 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2835/stat : 2835 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15514783744 26447 33554432000 4194304 4196468 140721545010688 139908237487120 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2836] ppid=2830 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2836/stat : 2836 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095107 15514783744 26447 33554432000 4194304 4196468 140721545010688 139908236434320 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2837] ppid=2830 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2837/stat : 2837 (java) S 2830 2830 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475095107 15514783744 26447 33554432000 4194304 4196468 140721545010688 139908235381520 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2838] ppid=2830 vsize=15151156 memory=40184 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475095108 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475095108 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907777971232 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475095109 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907776918384 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15151156 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15151156 memory=1044 CPUtime=0.37 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) R 2830 2830 1883 0 -1 4202560 1533 0 0 0 37 0 0 0 20 0 15 0 475095111 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907774797280 139908310520410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15151156 memory=708 CPUtime=0.37 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) R 2830 2830 1883 0 -1 4202560 1088 0 0 0 37 0 0 0 20 0 15 0 475095111 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907773744656 139908288387584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15151156 memory=9364 CPUtime=0.32 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) S 2830 2830 1883 0 -1 1077944384 1652 0 0 0 32 0 0 0 20 0 15 0 475095111 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907772709488 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475095111 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475095111 15514783744 26447 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 107240 KiB

[startup+1.50731 s]
/proc/loadavg: 8.03 8.21 6.61 8/235 2846
/proc/meminfo: memFree=6152448/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0

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

/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 19 0 475095108 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15619152 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475095108 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907777971296 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475095109 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907776918400 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15619152 memory=0 CPUtime=2.63 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) R 2830 2830 1883 0 -1 4202560 6918 0 0 0 262 1 0 0 20 0 19 0 475095111 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907774801184 139908294025583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15619152 memory=6944656592455097440 CPUtime=2.78 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) R 2830 2830 1883 0 -1 4202560 6055 0 0 0 277 1 0 0 20 0 19 0 475095111 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907773752400 139908288387625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15619152 memory=6656426216303648864 CPUtime=0.73 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) S 2830 2830 1883 0 -1 1077944384 4053 0 0 0 72 1 0 0 20 0 19 0 475095111 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907772709488 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 71401 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 11.02 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 287056 KiB

[startup+3.80131 s]
/proc/loadavg: 8.03 8.21 6.61 9/239 2862
/proc/meminfo: memFree=6032708/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0
[pid=2832] ppid=2830 vsize=15619152 memory=343336 CPUtime=12.59 cores=1,3,5,7
/proc/2832/stat : 2832 (java) S 2830 2830 1883 0 -1 1077944320 31424 0 0 0 1238 21 0 0 20 0 19 0 475095105 15994011648 85834 33554432000 4194304 4196468 140721545010688 140721544993232 139908310499063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
/proc/2832/statm: 3904788 85834 3525 1 0 3865888 0
[pid=2832/tid=2833] ppid=2830 vsize=15619152 memory=-7814691523512926820 CPUtime=2.12 cores=1,3,5,7
/proc/2832/task/2833/stat : 2833 (java) S 2830 2830 1883 0 -1 1077944384 11018 0 0 0 206 6 0 0 20 0 19 0 475095106 15994011648 85834 33554432000 4194304 4196468 140721545010688 139908314739840 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2834] ppid=2830 vsize=15619152 memory=9023629670928638048 CPUtime=0.03 cores=1,3,5,7
/proc/2832/task/2834/stat : 2834 (java) S 2830 2830 1883 0 -1 1077944384 99 0 0 0 2 1 0 0 20 0 19 0 475095106 15994011648 85834 33554432000 4194304 4196468 140721545010688 139908238539920 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2835] ppid=2830 vsize=15619152 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2832/task/2835/stat : 2835 (java) S 2830 2830 1883 0 -1 1077944384 131 0 0 0 4 2 0 0 20 0 19 0 475095107 15994011648 85834 33554432000 4194304 4196468 140721545010688 139908237487120 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2836] ppid=2830 vsize=15619152 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2832/task/2836/stat : 2836 (java) S 2830 2830 1883 0 -1 1077944384 476 0 0 0 3 1 0 0 20 0 19 0 475095107 15994011648 85834 33554432000 4194304 4196468 140721545010688 139908236434320 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2837] ppid=2830 vsize=15619152 memory=6943526294502006880 CPUtime=0.03 cores=1,3,5,7
/proc/2832/task/2837/stat : 2837 (java) S 2830 2830 1883 0 -1 1077944384 278 0 0 0 2 1 0 0 20 0 19 0 475095107 15994011648 85834 33554432000 4194304 4196468 140721545010688 139908235381520 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2838] ppid=2830 vsize=15619152 memory=-2605811476043407915 CPUtime=0.01 cores=1,3,5,7
/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 19 0 475095108 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15619152 memory=8475934422144423578 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475095108 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907777971296 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15619152 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475095109 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907776918400 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15619152 memory=7007709048888710761 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15619152 memory=1044 CPUtime=2.73 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) R 2830 2830 1883 0 -1 4202560 6941 0 0 0 272 1 0 0 20 0 19 0 475095111 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907774815384 139908289971533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15619152 memory=2241 CPUtime=2.85 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) R 2830 2830 1883 0 -1 4202560 6078 0 0 0 284 1 0 0 20 0 19 0 475095111 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907773749072 139908289676384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15619152 memory=2244 CPUtime=0.75 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) S 2830 2830 1883 0 -1 1077944384 4086 0 0 0 74 1 0 0 20 0 19 0 475095111 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907772709488 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15619152 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 85834 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 344788 KiB

[startup+4.20736 s]*
/proc/loadavg: 8.11 8.22 6.62 11/239 2870
/proc/meminfo: memFree=5905760/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0
[pid=2832] ppid=2830 vsize=15619152 memory=389032 CPUtime=14.23 cores=1,3,5,7
/proc/2832/stat : 2832 (java) S 2830 2830 1883 0 -1 1077944320 31718 0 0 0 1400 23 0 0 20 0 19 0 475095105 15994011648 97258 33554432000 4194304 4196468 140721545010688 140721544993232 139908310499063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
/proc/2832/statm: 3904788 97258 3526 1 0 3865888 0
[pid=2832/tid=2833] ppid=2830 vsize=15619152 memory=3047711462688066934 CPUtime=2.12 cores=1,3,5,7
/proc/2832/task/2833/stat : 2833 (java) S 2830 2830 1883 0 -1 1077944384 11018 0 0 0 206 6 0 0 20 0 19 0 475095106 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908314739840 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2834] ppid=2830 vsize=15619152 memory=3834033537023162159 CPUtime=0.06 cores=1,3,5,7
/proc/2832/task/2834/stat : 2834 (java) S 2830 2830 1883 0 -1 1077944384 119 0 0 0 4 2 0 0 20 0 19 0 475095106 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908238539920 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2835] ppid=2830 vsize=15619152 memory=6011695328803251888 CPUtime=0.08 cores=1,3,5,7
/proc/2832/task/2835/stat : 2835 (java) S 2830 2830 1883 0 -1 1077944384 144 0 0 0 6 2 0 0 20 0 19 0 475095107 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908237487120 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2836] ppid=2830 vsize=15619152 memory=6080235982264156256 CPUtime=0.06 cores=1,3,5,7
/proc/2832/task/2836/stat : 2836 (java) S 2830 2830 1883 0 -1 1077944384 499 0 0 0 4 2 0 0 20 0 19 0 475095107 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908236434320 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2837] ppid=2830 vsize=15619152 memory=3762535611533635871 CPUtime=0.05 cores=1,3,5,7
/proc/2832/task/2837/stat : 2837 (java) S 2830 2830 1883 0 -1 1077944384 298 0 0 0 4 1 0 0 20 0 19 0 475095107 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908235381520 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2838] ppid=2830 vsize=15619152 memory=3762114518256150196 CPUtime=0.01 cores=1,3,5,7
/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 19 0 475095108 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15619152 memory=3539887818412142647 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475095108 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907777971296 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15619152 memory=6080235982264156256 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475095109 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907776918400 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15619152 memory=8025788835636668518 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15619152 memory=0 CPUtime=2.86 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) S 2830 2830 1883 0 -1 1077944384 6961 0 0 0 285 1 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907774815088 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15619152 memory=8843337664520 CPUtime=2.96 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) S 2830 2830 1883 0 -1 1077944384 6095 0 0 0 295 1 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907773762288 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15619152 memory=29678448712876256 CPUtime=0.76 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) S 2830 2830 1883 0 -1 1077944384 4100 0 0 0 75 1 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907772709488 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15619152 memory=303993211943397722 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15619152 memory=15539604832932161 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2867] ppid=2830 vsize=15619152 memory=8025788800891120996 CPUtime=0.82 cores=1,3,5,7
/proc/2832/task/2867/stat : 2867 (java) R 2830 2830 1883 0 -1 4202560 21 0 0 0 82 0 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907760332624 139907913373248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2868] ppid=2830 vsize=15619152 memory=7157740871925121128 CPUtime=0.64 cores=1,3,5,7
/proc/2832/task/2868/stat : 2868 (java) R 2830 2830 1883 0 -1 4202560 91 0 0 0 63 1 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907759283400 139907913831201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2869] ppid=2830 vsize=15619152 memory=6153999915585398884 CPUtime=0.78 cores=1,3,5,7
/proc/2832/task/2869/stat : 2869 (java) R 2830 2830 1883 0 -1 4202560 17 0 0 0 78 0 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907158754184 139907913373274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2870] ppid=2830 vsize=15619152 memory=6935661440817778768 CPUtime=0.66 cores=1,3,5,7
/proc/2832/task/2870/stat : 2870 (java) R 2830 2830 1883 0 -1 4202560 18 0 0 0 66 0 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907157699888 139907912789204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 14.23 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 390484 KiB

[startup+4.31931 s]
/proc/loadavg: 8.11 8.22 6.62 11/239 2870
/proc/meminfo: memFree=5905760/32770624 swapFree=66952576/67108860
[pid=2830] ppid=2827 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2830/stat : 2830 (xcsp3-exec) S 2827 2830 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475095105 115843072 363 33554432000 4194304 5098028 140735079432768 140735079430872 139696292520572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26263552 140735079437142 140735079437401 140735079437401 140735079440326 0
/proc/2830/statm: 28282 363 304 221 0 87 0
[pid=2832] ppid=2830 vsize=15619152 memory=389032 CPUtime=14.64 cores=1,3,5,7
/proc/2832/stat : 2832 (java) S 2830 2830 1883 0 -1 1077944320 31724 0 0 0 1441 23 0 0 20 0 19 0 475095105 15994011648 97258 33554432000 4194304 4196468 140721545010688 140721544993232 139908310499063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
/proc/2832/statm: 3904788 97258 3526 1 0 3865888 0
[pid=2832/tid=2833] ppid=2830 vsize=15619152 memory=7373629984636233579 CPUtime=2.12 cores=1,3,5,7
/proc/2832/task/2833/stat : 2833 (java) S 2830 2830 1883 0 -1 1077944384 11018 0 0 0 206 6 0 0 20 0 19 0 475095106 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908314739840 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2834] ppid=2830 vsize=15619152 memory=300008 CPUtime=0.06 cores=1,3,5,7
/proc/2832/task/2834/stat : 2834 (java) S 2830 2830 1883 0 -1 1077944384 119 0 0 0 4 2 0 0 20 0 19 0 475095106 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908238539920 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2835] ppid=2830 vsize=15619152 memory=266768 CPUtime=0.08 cores=1,3,5,7
/proc/2832/task/2835/stat : 2835 (java) S 2830 2830 1883 0 -1 1077944384 144 0 0 0 6 2 0 0 20 0 19 0 475095107 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908237487120 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2836] ppid=2830 vsize=15619152 memory=57 CPUtime=0.06 cores=1,3,5,7
/proc/2832/task/2836/stat : 2836 (java) S 2830 2830 1883 0 -1 1077944384 499 0 0 0 4 2 0 0 20 0 19 0 475095107 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908236434320 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2837] ppid=2830 vsize=15619152 memory=349532 CPUtime=0.05 cores=1,3,5,7
/proc/2832/task/2837/stat : 2837 (java) S 2830 2830 1883 0 -1 1077944384 298 0 0 0 4 1 0 0 20 0 19 0 475095107 15994011648 97258 33554432000 4194304 4196468 140721545010688 139908235381520 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2838] ppid=2830 vsize=15619152 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2832/task/2838/stat : 2838 (java) S 2830 2830 1883 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 19 0 475095108 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907779025264 139908310510210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2839] ppid=2830 vsize=15619152 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2839/stat : 2839 (java) S 2830 2830 1883 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475095108 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907777971296 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2840] ppid=2830 vsize=15619152 memory=314416 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2840/stat : 2840 (java) S 2830 2830 1883 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475095109 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907776918400 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2841] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2841/stat : 2841 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907775866704 139908310517659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2842] ppid=2830 vsize=15619152 memory=279297965305776 CPUtime=2.87 cores=1,3,5,7
/proc/2832/task/2842/stat : 2842 (java) R 2830 2830 1883 0 -1 4202560 6964 0 0 0 286 1 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907774815088 139908294404913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2843] ppid=2830 vsize=15619152 memory=10814 CPUtime=2.98 cores=1,3,5,7
/proc/2832/task/2843/stat : 2843 (java) R 2830 2830 1883 0 -1 4202560 6096 0 0 0 297 1 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907773762288 139908295380831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2844] ppid=2830 vsize=15619152 memory=24215 CPUtime=0.77 cores=1,3,5,7
/proc/2832/task/2844/stat : 2844 (java) S 2830 2830 1883 0 -1 1077944384 4102 0 0 0 76 1 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907772709296 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2845] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2845/stat : 2845 (java) S 2830 2830 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907771656928 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2846] ppid=2830 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2832/task/2846/stat : 2846 (java) S 2830 2830 1883 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475095111 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907770604208 139908310510210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2867] ppid=2830 vsize=15619152 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/2832/task/2867/stat : 2867 (java) R 2830 2830 1883 0 -1 1077944384 21 0 0 0 91 0 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907760331520 139908310509269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2868] ppid=2830 vsize=15619152 memory=6935649255759568960 CPUtime=0.74 cores=1,3,5,7
/proc/2832/task/2868/stat : 2868 (java) R 2830 2830 1883 0 -1 4202560 91 0 0 0 73 1 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907759281176 139907913761002 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2869] ppid=2830 vsize=15619152 memory=4638778411637293152 CPUtime=0.88 cores=1,3,5,7
/proc/2832/task/2869/stat : 2869 (java) R 2830 2830 1883 0 -1 4202560 17 0 0 0 88 0 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907158752944 139907914192830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
[pid=2832/tid=2870] ppid=2830 vsize=15619152 memory=7739276948478193513 CPUtime=0.74 cores=1,3,5,7
/proc/2832/task/2870/stat : 2870 (java) S 2830 2830 1883 0 -1 1077944384 18 0 0 0 74 0 0 0 20 0 19 0 475095433 15994011648 97258 33554432000 4194304 4196468 140721545010688 139907157700144 139908310509269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39772160 140721545016283 140721545016458 140721545016458 140721545019343 0
Current children cumulated CPU time: 14.64 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 390484 KiB

Child status: 0
Real time (s): 4.34894
CPU time (s): 14.7416
CPU user time (s): 14.4987
CPU system time (s): 0.242851
CPU usage (%): 338.969
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 390484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4987
system time used= 0.242851
maximum resident set size= 389992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2552
involuntary context switches= 490


# summary of solver processes directly reported to runsolver:
#   pid: 2830
#   total CPU time (s): 14.7416
#   total CPU user time (s): 14.4987
#   total CPU system time (s): 0.242851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053119 second user time and 0.088205 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	1.18205
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4403630

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
