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 (8715 MiB free)
memory of node 1: 16384 MiB (12731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292353-1532279418/watcher-4292353-1532279418 -o /tmp/evaluation-result-4292353-1532279418/solver-4292353-1532279418 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532279418-2549 --watchdog 2560 HOME/xcsp3-exec -seed 1797491526 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292353-1532279418.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2575, runsolver pid=2571
[startup+0.100123 s]*
/proc/loadavg: 1.00 1.40 1.78 4/219 2610
/proc/meminfo: memFree=21930076/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
[pid=2581] ppid=2575 vsize=14082840 memory=27380 CPUtime=0.12 cores=1,3,5,7
/proc/2581/stat : 2581 (java) S 2575 2575 32641 0 -1 1077944320 5750 0 0 0 11 1 0 0 20 0 15 0 45505008 14420828160 6845 33554432000 4194304 4196468 140734690949840 140734690932384 139655123816183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
/proc/2581/statm: 3520710 6845 2991 1 0 3483008 0
[pid=2581/tid=2583] ppid=2575 vsize=14082840 memory=-8412652160985438067 CPUtime=0.08 cores=1,3,5,7
/proc/2581/task/2583/stat : 2583 (java) R 2575 2575 32641 0 -1 4202560 3734 0 0 0 8 0 0 0 20 0 15 0 45505008 14420828160 6845 33554432000 4194304 4196468 140734690949840 139655128049456 139655123828118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2585] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2585/stat : 2585 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 6845 33554432000 4194304 4196468 140734690949840 139655091374608 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2586] ppid=2575 vsize=14082840 memory=139751259412096 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2586/stat : 2586 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654718225040 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2587] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2587/stat : 2587 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654717171984 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2588] ppid=2575 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2588/stat : 2588 (java) S 2575 2575 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654716119440 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2593] ppid=2575 vsize=14082840 memory=139751259412096 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2593/stat : 2593 (java) S 2575 2575 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45505010 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654102981360 139655123827330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2595] ppid=2575 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2595/stat : 2595 (java) S 2575 2575 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45505011 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654101927584 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2596] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45505011 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) S 2575 2575 32641 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654098770160 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) R 2575 2575 32641 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654097717616 139655123827330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14082840 memory=139751259412096 CPUtime=0.01 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) R 2575 2575 32641 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 15 0 45505014 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654096664560 139655116913019 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14082840 memory=139751259412096 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 6845 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 28832 KiB
[startup+0.210785 s]*
/proc/loadavg: 1.00 1.40 1.78 4/219 2610
/proc/meminfo: memFree=21907832/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
[pid=2581] ppid=2575 vsize=14082840 memory=39536 CPUtime=0.32 cores=1,3,5,7
/proc/2581/stat : 2581 (java) S 2575 2575 32641 0 -1 1077944320 8459 0 0 0 30 2 0 0 20 0 15 0 45505008 14420828160 9884 33554432000 4194304 4196468 140734690949840 140734690932384 139655123816183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
/proc/2581/statm: 3520710 9884 3188 1 0 3483008 0
[pid=2581/tid=2583] ppid=2575 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/2581/task/2583/stat : 2583 (java) R 2575 2575 32641 0 -1 4202560 5459 0 0 0 18 1 0 0 20 0 15 0 45505008 14420828160 9931 33554432000 4194304 4196468 140734690949840 139655128044880 139655123828118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2585] ppid=2575 vsize=14082840 memory=10882 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2585/stat : 2585 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 9931 33554432000 4194304 4196468 140734690949840 139655091374608 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2586] ppid=2575 vsize=14082840 memory=192205 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2586/stat : 2586 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654718225040 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2587] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2587/stat : 2587 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654717171984 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2588] ppid=2575 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2588/stat : 2588 (java) S 2575 2575 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45505009 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654716119440 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2593] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2593/stat : 2593 (java) S 2575 2575 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45505010 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654102981360 139655123827330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2595] ppid=2575 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2595/stat : 2595 (java) S 2575 2575 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45505011 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654101927584 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2596] ppid=2575 vsize=14082840 memory=139751259412096 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45505011 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) S 2575 2575 32641 0 -1 1077944384 610 0 0 0 2 0 0 0 20 0 15 0 45505014 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654098770160 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) S 2575 2575 32641 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 45505014 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654097717616 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14082840 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) R 2575 2575 32641 0 -1 4202560 854 0 0 0 7 0 0 0 20 0 15 0 45505014 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654096664560 139655123837530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505014 14420828160 9931 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 40988 KiB
[startup+0.310668 s]*
/proc/loadavg: 1.00 1.40 1.78 5/219 2610
/proc/meminfo: memFree=21894728/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
[pid=2581] ppid=2575 vsize=14087096 memory=45916 CPUtime=0.49 cores=1,3,5,7
/proc/2581/stat : 2581 (java) S 2575 2575 32641 0 -1 1077944320 9200 0 0 0 46 3 0 0 20 0 15 0 45505008 14425186304 11479 33554432000 4194304 4196468 140734690949840 140734690932384 139655123816183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
/proc/2581/statm: 3521774 11479 3210 1 0 3483008 0
[pid=2581/tid=2583] ppid=2575 vsize=14087096 memory=279502244734880 CPUtime=0.28 cores=1,3,5,7
/proc/2581/task/2583/stat : 2583 (java) R 2575 2575 32641 0 -1 4202560 6023 0 0 0 26 2 0 0 20 0 15 0 45505008 14425186304 11556 33554432000 4194304 4196468 140734690949840 139655128054752 139655123828118 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2585] ppid=2575 vsize=14087096 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2585/stat : 2585 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14425186304 11556 33554432000 4194304 4196468 140734690949840 139655091374608 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2586] ppid=2575 vsize=14087096 memory=279502381779536 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2586/stat : 2586 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654718225040 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2587] ppid=2575 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2587/stat : 2587 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654717171984 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2588] ppid=2575 vsize=14087096 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2588/stat : 2588 (java) S 2575 2575 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45505009 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654716119440 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2593] ppid=2575 vsize=14087096 memory=139751259412096 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2593/stat : 2593 (java) S 2575 2575 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45505010 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654102981360 139655123827330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2595] ppid=2575 vsize=14087096 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2595/stat : 2595 (java) S 2575 2575 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45505011 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654101927584 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2596] ppid=2575 vsize=14087096 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45505011 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14087096 memory=69604 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) S 2575 2575 32641 0 -1 1077944384 624 0 0 0 4 0 0 0 20 0 15 0 45505014 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654098770160 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14087096 memory=139751122388239 CPUtime=0.03 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) S 2575 2575 32641 0 -1 1077944384 251 0 0 0 3 0 0 0 20 0 15 0 45505014 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654097717616 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14087096 memory=279502381685768 CPUtime=0.11 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) R 2575 2575 32641 0 -1 4202560 1006 0 0 0 11 0 0 0 20 0 15 0 45505014 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654096664560 139655107896670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14087096 memory=139751122413599 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14087096 memory=139751259412096 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505014 14425186304 11556 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 47368 KiB
[startup+0.702219 s]
/proc/loadavg: 1.00 1.40 1.78 8/219 2610
/proc/meminfo: memFree=21846156/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
[pid=2581] ppid=2575 vsize=14089220 memory=86720 CPUtime=1.67 cores=1,3,5,7
/proc/2581/stat : 2581 (java) S 2575 2575 32641 0 -1 1077944320 13354 0 0 0 162 5 0 0 20 0 15 0 45505008 14427361280 21680 33554432000 4194304 4196468 140734690949840 140734690932384 139655123816183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
/proc/2581/statm: 3522305 21680 3327 1 0 3483520 0
[pid=2581/tid=2583] ppid=2575 vsize=14089220 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2581/task/2583/stat : 2583 (java) R 2575 2575 32641 0 -1 4202560 7186 0 0 0 63 3 0 0 20 0 15 0 45505008 14427361280 21680 33554432000 4194304 4196468 140734690949840 139655128052080 139655105634620 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2585] ppid=2575 vsize=14089220 memory=8242257093008242485 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2585/stat : 2585 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14427361280 21680 33554432000 4194304 4196468 140734690949840 139655091374608 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2586] ppid=2575 vsize=14089220 memory=5936116310224425552 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2586/stat : 2586 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654718225040 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2587] ppid=2575 vsize=14089220 memory=7518034348396861520 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2587/stat : 2587 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505009 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654717171984 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2588] ppid=2575 vsize=14089220 memory=12976 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2588/stat : 2588 (java) S 2575 2575 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45505009 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654716119440 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2593] ppid=2575 vsize=14089220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2593/stat : 2593 (java) S 2575 2575 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45505010 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654102981360 139655123827330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2595] ppid=2575 vsize=14089220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2595/stat : 2595 (java) S 2575 2575 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45505011 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654101927584 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2596] ppid=2575 vsize=14089220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45505011 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14089220 memory=8364 CPUtime=0.31 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) R 2575 2575 32641 0 -1 1077944384 1528 0 0 0 31 0 0 0 20 0 15 0 45505014 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654098760080 139655123826389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14089220 memory=800 CPUtime=0.26 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) R 2575 2575 32641 0 -1 4202560 1155 0 0 0 26 0 0 0 20 0 15 0 45505014 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654097698632 139655105361398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14089220 memory=15876 CPUtime=0.4 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) S 2575 2575 32641 0 -1 1077944384 2178 0 0 0 40 0 0 0 20 0 15 0 45505014 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654096664560 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14089220 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14089220 memory=6153431502485416041 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45505014 14427361280 21680 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 88172 KiB
[startup+1.50086 s]
/proc/loadavg: 1.40 1.47 1.80 7/219 2610
/proc/meminfo: memFree=21700996/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 45505011 14429458432 599332 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 599332 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14091268 memory=1452 CPUtime=3.01 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) S 2575 2575 32641 0 -1 1077944384 17824 0 0 0 298 3 0 0 20 0 15 0 45505014 14429458432 599332 33554432000 4194304 4196468 140734690949840 139654098770160 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14091268 memory=4140 CPUtime=3.08 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) S 2575 2575 32641 0 -1 1077944384 19266 0 0 0 307 1 0 0 20 0 15 0 45505014 14429458432 599332 33554432000 4194304 4196468 140734690949840 139654097717616 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14091268 memory=1948 CPUtime=0.86 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) S 2575 2575 32641 0 -1 1077944384 11906 0 0 0 85 1 0 0 20 0 15 0 45505014 14429458432 599332 33554432000 4194304 4196468 140734690949840 139654096664560 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14091268 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 599332 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14091268 memory=1452 CPUtime=0.52 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1473 0 0 0 21 31 0 0 20 0 15 0 45505014 14429458432 599332 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 2335.72 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2398780 KiB
[startup+2382.3 s]
/proc/loadavg: 1.95 1.87 1.87 3/217 2676
/proc/meminfo: memFree=18268360/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
[pid=2581] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2395.86 cores=1,3,5,7
/proc/2581/stat : 2581 (java) S 2575 2575 32641 0 -1 1077944320 151476 0 0 0 239197 389 0 0 20 0 15 0 45505008 14429458432 607447 33554432000 4194304 4196468 140734690949840 140734690932384 139655123816183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
/proc/2581/statm: 3522817 607447 3424 1 0 3484032 0
[pid=2581/tid=2583] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2378.98 cores=1,3,5,7
/proc/2581/task/2583/stat : 2583 (java) R 2575 2575 32641 0 -1 4202560 67147 0 0 0 237577 321 0 0 20 0 15 0 45505008 14429458432 607447 33554432000 4194304 4196468 140734690949840 139655128055696 139654767301057 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2585] ppid=2575 vsize=14091268 memory=1452 CPUtime=2.13 cores=1,3,5,7
/proc/2581/task/2585/stat : 2585 (java) S 2575 2575 32641 0 -1 1077944384 6567 0 0 0 207 6 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139655091374608 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2586] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.09 cores=1,3,5,7
/proc/2581/task/2586/stat : 2586 (java) S 2575 2575 32641 0 -1 1077944384 3118 0 0 0 204 5 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654718225040 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2587] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.11 cores=1,3,5,7
/proc/2581/task/2587/stat : 2587 (java) S 2575 2575 32641 0 -1 1077944384 5304 0 0 0 204 7 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654717171984 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2588] ppid=2575 vsize=14091268 memory=1452 CPUtime=2.13 cores=1,3,5,7
/proc/2581/task/2588/stat : 2588 (java) S 2575 2575 32641 0 -1 1077944384 5620 0 0 0 207 6 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654716119440 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2593] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0.85 cores=1,3,5,7
/proc/2581/task/2593/stat : 2593 (java) S 2575 2575 32641 0 -1 1077944384 11870 0 0 0 70 15 0 0 20 0 15 0 45505010 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654102981360 139655123827330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2595] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2595/stat : 2595 (java) S 2575 2575 32641 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45505011 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654101927648 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2596] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 45505011 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14091268 memory=1452 CPUtime=3.01 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) S 2575 2575 32641 0 -1 1077944384 17826 0 0 0 298 3 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654098770160 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14091268 memory=2429788 CPUtime=3.08 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) S 2575 2575 32641 0 -1 1077944384 19268 0 0 0 307 1 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654097717616 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14091268 memory=3280 CPUtime=0.86 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) S 2575 2575 32641 0 -1 1077944384 11908 0 0 0 85 1 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654096664560 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14091268 memory=3272 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0.53 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1479 0 0 0 22 31 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 2395.86 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2431240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386.5 s]
/proc/loadavg: 1.95 1.87 1.87 3/218 2684
/proc/meminfo: memFree=18266716/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
[pid=2581] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2400.06 cores=1,3,5,7
/proc/2581/stat : 2581 (java) S 2575 2575 32641 0 -1 1077944320 151612 0 0 0 239617 389 0 0 20 0 15 0 45505008 14429458432 607447 33554432000 4194304 4196468 140734690949840 140734690932384 139655123816183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
/proc/2581/statm: 3522817 607447 3424 1 0 3484032 0
[pid=2581/tid=2583] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2383.18 cores=1,3,5,7
/proc/2581/task/2583/stat : 2583 (java) R 2575 2575 32641 0 -1 4202560 67274 0 0 0 237997 321 0 0 20 0 15 0 45505008 14429458432 607447 33554432000 4194304 4196468 140734690949840 139655128055696 139654767392870 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2585] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.13 cores=1,3,5,7
/proc/2581/task/2585/stat : 2585 (java) S 2575 2575 32641 0 -1 1077944384 6567 0 0 0 207 6 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139655091374608 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2586] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.09 cores=1,3,5,7
/proc/2581/task/2586/stat : 2586 (java) S 2575 2575 32641 0 -1 1077944384 3118 0 0 0 204 5 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654718225040 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2587] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.11 cores=1,3,5,7
/proc/2581/task/2587/stat : 2587 (java) S 2575 2575 32641 0 -1 1077944384 5304 0 0 0 204 7 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654717171984 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2588] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.13 cores=1,3,5,7
/proc/2581/task/2588/stat : 2588 (java) S 2575 2575 32641 0 -1 1077944384 5620 0 0 0 207 6 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654716119440 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2593] ppid=2575 vsize=14091268 memory=1452 CPUtime=0.85 cores=1,3,5,7
/proc/2581/task/2593/stat : 2593 (java) S 2575 2575 32641 0 -1 1077944384 11870 0 0 0 70 15 0 0 20 0 15 0 45505010 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654102981360 139655123827330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2595] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2595/stat : 2595 (java) S 2575 2575 32641 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45505011 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654101927648 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2596] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 45505011 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14091268 memory=4140 CPUtime=3.01 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) S 2575 2575 32641 0 -1 1077944384 17826 0 0 0 298 3 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654098770160 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14091268 memory=1452 CPUtime=3.08 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) S 2575 2575 32641 0 -1 1077944384 19268 0 0 0 307 1 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654097717616 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0.86 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) S 2575 2575 32641 0 -1 1077944384 11908 0 0 0 85 1 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654096664560 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14091268 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1488 0 0 0 22 31 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2431240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.51 s]
# the end of solver process 2575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00233 s, system=0 s
[startup+2386.52 s]
# the end of solver process 2581 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.18 s, system=3.91116 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2386.5 s]
/proc/loadavg: 1.95 1.87 1.87 3/218 2684
/proc/meminfo: memFree=18266716/32770624 swapFree=67108860/67108860
[pid=2575] ppid=2571 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2575/stat : 2575 (xcsp3-exec) S 2571 2575 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45505008 115843072 363 33554432000 4194304 5098028 140735782785824 140735782783928 140055963251324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10317824 140735782790202 140735782790404 140735782790404 140735782793162 0
/proc/2575/statm: 28282 363 305 221 0 87 0
[pid=2581] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2400.06 cores=1,3,5,7
/proc/2581/stat : 2581 (java) S 2575 2575 32641 0 -1 1077944320 151612 0 0 0 239617 389 0 0 20 0 15 0 45505008 14429458432 607447 33554432000 4194304 4196468 140734690949840 140734690932384 139655123816183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
/proc/2581/statm: 3522817 607447 3424 1 0 3484032 0
[pid=2581/tid=2583] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2383.18 cores=1,3,5,7
/proc/2581/task/2583/stat : 2583 (java) R 2575 2575 32641 0 -1 4202560 67274 0 0 0 237997 321 0 0 20 0 15 0 45505008 14429458432 607447 33554432000 4194304 4196468 140734690949840 139655128055696 139654767392870 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2585] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.13 cores=1,3,5,7
/proc/2581/task/2585/stat : 2585 (java) S 2575 2575 32641 0 -1 1077944384 6567 0 0 0 207 6 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139655091374608 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2586] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.09 cores=1,3,5,7
/proc/2581/task/2586/stat : 2586 (java) S 2575 2575 32641 0 -1 1077944384 3118 0 0 0 204 5 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654718225040 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2587] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.11 cores=1,3,5,7
/proc/2581/task/2587/stat : 2587 (java) S 2575 2575 32641 0 -1 1077944384 5304 0 0 0 204 7 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654717171984 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2588] ppid=2575 vsize=14091268 memory=2429788 CPUtime=2.13 cores=1,3,5,7
/proc/2581/task/2588/stat : 2588 (java) S 2575 2575 32641 0 -1 1077944384 5620 0 0 0 207 6 0 0 20 0 15 0 45505009 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654716119440 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2593] ppid=2575 vsize=14091268 memory=1452 CPUtime=0.85 cores=1,3,5,7
/proc/2581/task/2593/stat : 2593 (java) S 2575 2575 32641 0 -1 1077944384 11870 0 0 0 70 15 0 0 20 0 15 0 45505010 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654102981360 139655123827330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2595] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2595/stat : 2595 (java) S 2575 2575 32641 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45505011 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654101927648 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2596] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2596/stat : 2596 (java) S 2575 2575 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 45505011 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654100874480 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2599] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2599/stat : 2599 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654099823056 139655123834779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2600] ppid=2575 vsize=14091268 memory=4140 CPUtime=3.01 cores=1,3,5,7
/proc/2581/task/2600/stat : 2600 (java) S 2575 2575 32641 0 -1 1077944384 17826 0 0 0 298 3 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654098770160 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2601] ppid=2575 vsize=14091268 memory=1452 CPUtime=3.08 cores=1,3,5,7
/proc/2581/task/2601/stat : 2601 (java) S 2575 2575 32641 0 -1 1077944384 19268 0 0 0 307 1 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654097717616 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2602] ppid=2575 vsize=14091268 memory=2429788 CPUtime=0.86 cores=1,3,5,7
/proc/2581/task/2602/stat : 2602 (java) S 2575 2575 32641 0 -1 1077944384 11908 0 0 0 85 1 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654096664560 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2607] ppid=2575 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2581/task/2607/stat : 2607 (java) S 2575 2575 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654095612256 139655123826389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
[pid=2581/tid=2609] ppid=2575 vsize=14091268 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/2581/task/2609/stat : 2609 (java) S 2575 2575 32641 0 -1 1077944384 1488 0 0 0 22 31 0 0 20 0 15 0 45505014 14429458432 607447 33554432000 4194304 4196468 140734690949840 139654094560304 139655123827330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140734690956417 140734690956593 140734690956593 140734690959311 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2431240 KiB
Child status: 143
Real time (s): 2386.52
CPU time (s): 2400.09
CPU user time (s): 2396.18
CPU system time (s): 3.91116
CPU usage (%): 100.569
Max. virtual memory (cumulated for all children) (KiB): 14206376
Max. memory (cumulated for all children) (KiB): 7257964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.18
system time used= 3.91116
maximum resident set size= 7289336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152492
page faults= 0
swaps= 0
block input operations= 400
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68185
involuntary context switches= 1929
# summary of solver processes directly reported to runsolver:
# pid: 2575,2581
# total CPU time (s): 2400.09
# total CPU user time (s): 2396.18
# total CPU system time (s): 3.91116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9131 second user time and 22.3808 second system time
The end