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 (14531 MiB free)
memory of node 1: 16384 MiB (15241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283455-1503212285/watcher-4283455-1503212285 -o /tmp/evaluation-result-4283455-1503212285/solver-4283455-1503212285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25501 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1510487099 HOME/instance-4283455-1503212285.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=716, runsolver pid=713
[startup+0.100107 s]*
/proc/loadavg: 1.47 1.32 1.39 2/196 717
/proc/meminfo: memFree=30487564/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=33976 memory=460 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (runsolver) D 713 716 8563 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 123448982 34791424 115 18446744073709551615 4194304 4346622 140726415020528 140726415017160 140647058297559 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 29802496 140726415028278 140726415028772 140726415028772 140726415032266 0
/proc/716/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.209003 s]*
/proc/loadavg: 1.47 1.32 1.39 2/210 731
/proc/meminfo: memFree=30477056/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (xcsp3-exec) S 713 716 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123448982 9740288 345 18446744073709551615 4194304 5098028 140736167289952 140736167288056 139649183990396 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 16576512 140736167293304 140736167293509 140736167293509 140736167297003 0
/proc/716/statm: 2378 345 289 221 0 87 0
[pid=718] ppid=716 vsize=13907304 memory=20712 CPUtime=0.05 cores=1,3,5,7
/proc/718/stat : 718 (java) S 716 716 8563 0 -1 1077944320 4561 0 0 0 4 1 0 0 20 0 14 0 123448993 14241079296 5178 18446744073709551615 4194304 4196468 140726551631424 140726551613968 139984771026679 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
/proc/718/statm: 3476826 5178 2579 1 0 3466323 0
[pid=718/tid=719] ppid=716 vsize=13973868 memory=7022364594140610616 CPUtime=0.04 cores=1,3,5,7
/proc/718/task/719/stat : 719 (java) R 716 716 8563 0 -1 4202560 2770 0 0 0 4 0 0 0 20 0 15 0 123448993 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984775253808 139984763704693 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=720] ppid=716 vsize=13973868 memory=4294979915 CPUtime=0 cores=1,3,5,7
/proc/718/task/720/stat : 720 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984731924880 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=721] ppid=716 vsize=13973868 memory=140647062362328 CPUtime=0 cores=1,3,5,7
/proc/718/task/721/stat : 721 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984730872080 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=722] ppid=716 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/722/stat : 722 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984729819792 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=723] ppid=716 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/723/stat : 723 (java) S 716 716 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123448994 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984367970832 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=724] ppid=716 vsize=13973868 memory=140647061247616 CPUtime=0 cores=1,3,5,7
/proc/718/task/724/stat : 724 (java) S 716 716 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123448995 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984249633392 139984771037826 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=725] ppid=716 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/725/stat : 725 (java) S 716 716 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123448996 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984248579360 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=726] ppid=716 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123448996 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984247527024 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) S 716 716 8563 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 123448998 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984245422192 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984244369392 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13973868 memory=140647061247616 CPUtime=0 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) R 716 716 8563 0 -1 4202560 226 0 0 0 0 0 0 0 20 0 15 0 123448998 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984749987615 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13973868 memory=140647061247616 CPUtime=0 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123449004 14309240832 5178 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22092 KiB
[startup+0.310124 s]*
/proc/loadavg: 1.47 1.32 1.39 4/211 732
/proc/meminfo: memFree=30465500/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (xcsp3-exec) S 713 716 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123448982 9740288 345 18446744073709551615 4194304 5098028 140736167289952 140736167288056 139649183990396 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 16576512 140736167293304 140736167293509 140736167293509 140736167297003 0
/proc/716/statm: 2378 345 289 221 0 87 0
[pid=718] ppid=716 vsize=13974352 memory=33996 CPUtime=0.24 cores=1,3,5,7
/proc/718/stat : 718 (java) S 716 716 8563 0 -1 1077944320 6396 0 0 0 22 2 0 0 20 0 15 0 123448993 14309736448 8499 18446744073709551615 4194304 4196468 140726551631424 140726551613968 139984771026679 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
/proc/718/statm: 3493588 8499 2981 1 0 3482964 0
[pid=718/tid=719] ppid=716 vsize=13976336 memory=1398720917958146503 CPUtime=0.14 cores=1,3,5,7
/proc/718/task/719/stat : 719 (java) R 716 716 8563 0 -1 4202560 3988 0 0 0 13 1 0 0 20 0 15 0 123448993 14311768064 8797 18446744073709551615 4194304 4196468 140726551631424 139984775228656 139984763317120 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=720] ppid=716 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/720/stat : 720 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14311768064 8797 18446744073709551615 4194304 4196468 140726551631424 139984731924880 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=721] ppid=716 vsize=13976336 memory=140647061247616 CPUtime=0 cores=1,3,5,7
/proc/718/task/721/stat : 721 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14311768064 8797 18446744073709551615 4194304 4196468 140726551631424 139984730872080 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=722] ppid=716 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/722/stat : 722 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984729819792 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=723] ppid=716 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/723/stat : 723 (java) S 716 716 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123448994 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984367970832 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=724] ppid=716 vsize=13976336 memory=140647061247616 CPUtime=0 cores=1,3,5,7
/proc/718/task/724/stat : 724 (java) S 716 716 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123448995 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984249633392 139984771037826 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=725] ppid=716 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/725/stat : 725 (java) S 716 716 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123448996 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984248579360 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=726] ppid=716 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123448996 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984247527024 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13976336 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) S 716 716 8563 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 123448998 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984245422192 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) S 716 716 8563 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 123448998 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984244369392 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13976336 memory=140647061247616 CPUtime=0.06 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) S 716 716 8563 0 -1 1077944384 707 0 0 0 6 0 0 0 20 0 15 0 123448998 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13976336 memory=140647061247616 CPUtime=0 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123449004 14311768064 8863 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 35376 KiB
[startup+0.701343 s]
/proc/loadavg: 1.47 1.32 1.39 3/211 732
/proc/meminfo: memFree=30450936/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (xcsp3-exec) S 713 716 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123448982 9740288 345 18446744073709551615 4194304 5098028 140736167289952 140736167288056 139649183990396 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 16576512 140736167293304 140736167293509 140736167293509 140736167297003 0
/proc/716/statm: 2378 345 289 221 0 87 0
[pid=718] ppid=716 vsize=13980732 memory=61320 CPUtime=1.11 cores=1,3,5,7
/proc/718/stat : 718 (java) S 716 716 8563 0 -1 1077944320 12995 0 0 0 106 5 0 0 20 0 15 0 123448993 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 140726551613968 139984771026679 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
/proc/718/statm: 3495183 15330 3170 1 0 3483476 0
[pid=718/tid=719] ppid=716 vsize=13980732 memory=3148 CPUtime=0.52 cores=1,3,5,7
/proc/718/task/719/stat : 719 (java) R 716 716 8563 0 -1 4202560 8443 0 0 0 49 3 0 0 20 0 15 0 123448993 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984775261824 139984412730875 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=720] ppid=716 vsize=13980732 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/718/task/720/stat : 720 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984731924880 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=721] ppid=716 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/718/task/721/stat : 721 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984730872080 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=722] ppid=716 vsize=13980732 memory=304652 CPUtime=0 cores=1,3,5,7
/proc/718/task/722/stat : 722 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984729819792 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=723] ppid=716 vsize=13980732 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/718/task/723/stat : 723 (java) S 716 716 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984367970832 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=724] ppid=716 vsize=13980732 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/718/task/724/stat : 724 (java) S 716 716 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123448995 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984249633392 139984771037826 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=725] ppid=716 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/718/task/725/stat : 725 (java) S 716 716 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984248579360 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=726] ppid=716 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984247527024 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13980732 memory=6656426216303648864 CPUtime=0.17 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) R 716 716 8563 0 -1 4202560 1024 0 0 0 17 0 0 0 20 0 15 0 123448998 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984245410264 139984763263692 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) R 716 716 8563 0 -1 4202560 936 0 0 0 14 0 0 0 20 0 15 0 123448998 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984244348016 139984763263806 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13980732 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) S 716 716 8563 0 -1 1077944384 1302 0 0 0 25 0 0 0 20 0 15 0 123448998 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13980732 memory=7589521265835595619 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13980732 memory=6081386058894104679 CPUtime=0 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123449004 14316269568 15330 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62700 KiB
[startup+1.50084 s]
/proc/loadavg: 1.47 1.32 1.39 5/211 732
/proc/meminfo: memFree=30386064/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (xcsp3-exec) S 713 716 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123448982 9740288 345 18446744073709551615 4194304 5098028 140736167289952 140736167288056 139649183990396 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 16576512 140736167293304 140736167293509 140736167293509 140736167297003 0
/proc/716/statm: 2378 345 289 221 0 87 0
[pid=718] ppid=716 vsize=13980732 memory=114628 CPUtime=2.94 cores=1,3,5,7
/proc/718/stat : 718 (java) S 716 716 8563 0 -1 1077944320 28586 0 0 0 287 7 0 0 20 0 15 0 123448993 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 140726551613968 139984771026679 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
/proc/718/statm: 3495183 28657 3179 1 0 3483476 0
[pid=718/tid=719] ppid=716 vsize=13980732 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/718/task/719/stat : 719 (java) R 716 716 8563 0 -1 4202560 8797 0 0 0 129 3 0 0 20 0 15 0 123448993 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984775260320 139984413298449 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=720] ppid=716 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/718/task/720/stat : 720 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984731924880 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=721] ppid=716 vsize=13980732 memory=66256 CPUtime=0 cores=1,3,5,7
/proc/718/task/721/stat : 721 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984730872080 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=722] ppid=716 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/718/task/722/stat : 722 (java) S 716 716 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984729819792 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=723] ppid=716 vsize=13980732 memory=87 CPUtime=0 cores=1,3,5,7
/proc/718/task/723/stat : 723 (java) S 716 716 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123448994 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984367970832 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=724] ppid=716 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/718/task/724/stat : 724 (java) S 716 716 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123448995 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984249633392 139984771037826 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=725] ppid=716 vsize=13980732 memory=1652 CPUtime=0 cores=1,3,5,7
/proc/718/task/725/stat : 725 (java) S 716 716 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984248579360 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=726] ppid=716 vsize=13980732 memory=281293917073888 CPUtime=0 cores=1,3,5,7
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984247527024 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13980732 memory=13846361204327793 CPUtime=0.63 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) S 716 716 8563 0 -1 1077944384 6997 0 0 0 62 1 0 0 20 0 15 0 123448998 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984245422192 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13980732 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) R 716 716 8563 0 -1 4202560 9203 0 0 0 65 1 0 0 20 0 15 0 123448998 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984244369392 139984752548898 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13980732 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) S 716 716 8563 0 -1 1077944384 2264 0 0 0 30 0 0 0 20 0 15 0 123448998 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13980732 memory=4134931637327791675 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13980732 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123449004 14316269568 28657 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
################
# More data... #
################
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 260515 18446744073709551615 4194304 4196468 140726551631424 139984247527040 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13980732 memory=66424 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 260515 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13980732 memory=2316 CPUtime=4.65 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) S 716 716 8563 0 -1 1077944384 33088 0 0 0 461 4 0 0 20 0 15 0 123448998 14316269568 260515 18446744073709551615 4194304 4196468 140726551631424 139984245422192 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13980732 memory=1380 CPUtime=5.01 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) S 716 716 8563 0 -1 1077944384 34284 0 0 0 498 3 0 0 20 0 15 0 123448998 14316269568 260515 18446744073709551615 4194304 4196468 140726551631424 139984244369392 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13980732 memory=1042060 CPUtime=0.96 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) S 716 716 8563 0 -1 1077944384 17728 0 0 0 93 3 0 0 20 0 15 0 123448998 14316269568 260515 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 260515 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13980732 memory=1380 CPUtime=1.31 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 3295 0 0 0 64 67 0 0 20 0 15 0 123449004 14316269568 260515 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
Current children cumulated CPU time: 2342.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1043440 KiB
[startup+2382.3 s]
/proc/loadavg: 1.93 1.95 1.87 3/211 983
/proc/meminfo: memFree=26905256/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (xcsp3-exec) S 713 716 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123448982 9740288 345 18446744073709551615 4194304 5098028 140736167289952 140736167288056 139649183990396 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 16576512 140736167293304 140736167293509 140736167293509 140736167297003 0
/proc/716/statm: 2378 345 289 221 0 87 0
[pid=718] ppid=716 vsize=13980732 memory=1009396 CPUtime=2402.68 cores=1,3,5,7
/proc/718/stat : 718 (java) S 716 716 8563 0 -1 1077944320 207774 0 0 0 240084 184 0 0 20 0 15 0 123448993 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 140726551613968 139984771026679 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
/proc/718/statm: 3495183 252349 3274 1 0 3483476 0
[pid=718/tid=719] ppid=716 vsize=13980732 memory=1380 CPUtime=2379.05 cores=1,3,5,7
/proc/718/task/719/stat : 719 (java) R 716 716 8563 0 -1 4202560 70729 0 0 0 237879 26 0 0 20 0 15 0 123448993 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984775265952 139984415673947 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=720] ppid=716 vsize=13980732 memory=237886 CPUtime=2.78 cores=1,3,5,7
/proc/718/task/720/stat : 720 (java) S 716 716 8563 0 -1 1077944384 10234 0 0 0 258 20 0 0 20 0 15 0 123448994 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984731924880 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=721] ppid=716 vsize=13980732 memory=1020168 CPUtime=2.79 cores=1,3,5,7
/proc/718/task/721/stat : 721 (java) S 716 716 8563 0 -1 1077944384 9550 0 0 0 258 21 0 0 20 0 15 0 123448994 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984730872080 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=722] ppid=716 vsize=13980732 memory=1020168 CPUtime=2.8 cores=1,3,5,7
/proc/718/task/722/stat : 722 (java) S 716 716 8563 0 -1 1077944384 8672 0 0 0 259 21 0 0 20 0 15 0 123448994 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984729819792 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=723] ppid=716 vsize=13980732 memory=0 CPUtime=2.77 cores=1,3,5,7
/proc/718/task/723/stat : 723 (java) S 716 716 8563 0 -1 1077944384 9473 0 0 0 257 20 0 0 20 0 15 0 123448994 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984367970832 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=724] ppid=716 vsize=13980732 memory=1009396 CPUtime=0.41 cores=1,3,5,7
/proc/718/task/724/stat : 724 (java) S 716 716 8563 0 -1 1077944384 9305 0 0 0 37 4 0 0 20 0 15 0 123448995 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984249633392 139984771037826 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=725] ppid=716 vsize=13980732 memory=1020168 CPUtime=0 cores=1,3,5,7
/proc/718/task/725/stat : 725 (java) S 716 716 8563 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984248579424 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=726] ppid=716 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984247527040 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13980732 memory=4134931637327791675 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13980732 memory=4060 CPUtime=4.65 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) S 716 716 8563 0 -1 1077944384 33090 0 0 0 461 4 0 0 20 0 15 0 123448998 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984245422192 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13980732 memory=4116 CPUtime=5.01 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) S 716 716 8563 0 -1 1077944384 34286 0 0 0 498 3 0 0 20 0 15 0 123448998 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984244369392 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13980732 memory=66424 CPUtime=0.96 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) S 716 716 8563 0 -1 1077944384 17731 0 0 0 93 3 0 0 20 0 15 0 123448998 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13980732 memory=2316 CPUtime=1.35 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 3301 0 0 0 66 69 0 0 20 0 15 0 123449004 14316269568 252349 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
Current children cumulated CPU time: 2402.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1010776 KiB
[startup+2442.3 s]
/proc/loadavg: 1.96 1.96 1.87 3/211 985
/proc/meminfo: memFree=26910288/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (xcsp3-exec) S 713 716 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123448982 9740288 345 18446744073709551615 4194304 5098028 140736167289952 140736167288056 139649183990396 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 16576512 140736167293304 140736167293509 140736167293509 140736167297003 0
/proc/716/statm: 2378 345 289 221 0 87 0
[pid=718] ppid=716 vsize=13980732 memory=1004768 CPUtime=2462.95 cores=1,3,5,7
/proc/718/stat : 718 (java) S 716 716 8563 0 -1 1077944320 209330 0 0 0 246108 187 0 0 20 0 15 0 123448993 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 140726551613968 139984771026679 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
/proc/718/statm: 3495183 251192 3274 1 0 3483476 0
[pid=718/tid=719] ppid=716 vsize=13980732 memory=1008872 CPUtime=2438.97 cores=1,3,5,7
/proc/718/task/719/stat : 719 (java) R 716 716 8563 0 -1 4202560 71345 0 0 0 243871 26 0 0 20 0 15 0 123448993 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984775266232 139984415674346 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=720] ppid=716 vsize=13980732 memory=1380 CPUtime=2.87 cores=1,3,5,7
/proc/718/task/720/stat : 720 (java) S 716 716 8563 0 -1 1077944384 10507 0 0 0 266 21 0 0 20 0 15 0 123448994 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984731924880 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=721] ppid=716 vsize=13980732 memory=1008872 CPUtime=2.87 cores=1,3,5,7
/proc/718/task/721/stat : 721 (java) S 716 716 8563 0 -1 1077944384 9672 0 0 0 266 21 0 0 20 0 15 0 123448994 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984730872080 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=722] ppid=716 vsize=13980732 memory=1004764 CPUtime=2.87 cores=1,3,5,7
/proc/718/task/722/stat : 722 (java) S 716 716 8563 0 -1 1077944384 8829 0 0 0 266 21 0 0 20 0 15 0 123448994 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984729819792 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=723] ppid=716 vsize=13980732 memory=1004768 CPUtime=2.85 cores=1,3,5,7
/proc/718/task/723/stat : 723 (java) S 716 716 8563 0 -1 1077944384 9509 0 0 0 264 21 0 0 20 0 15 0 123448994 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984367970832 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=724] ppid=716 vsize=13980732 memory=1004768 CPUtime=0.42 cores=1,3,5,7
/proc/718/task/724/stat : 724 (java) S 716 716 8563 0 -1 1077944384 9471 0 0 0 38 4 0 0 20 0 15 0 123448995 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984249633392 139984771037826 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=725] ppid=716 vsize=13980732 memory=1004768 CPUtime=0 cores=1,3,5,7
/proc/718/task/725/stat : 725 (java) S 716 716 8563 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984248579424 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=726] ppid=716 vsize=13980732 memory=1004768 CPUtime=0 cores=1,3,5,7
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984247527040 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13980732 memory=0 CPUtime=4.65 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) S 716 716 8563 0 -1 1077944384 33092 0 0 0 461 4 0 0 20 0 15 0 123448998 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984245422192 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13980732 memory=4134931637327791675 CPUtime=5.01 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) S 716 716 8563 0 -1 1077944384 34288 0 0 0 498 3 0 0 20 0 15 0 123448998 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984244369392 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13980732 memory=66424 CPUtime=0.96 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) S 716 716 8563 0 -1 1077944384 17880 0 0 0 93 3 0 0 20 0 15 0 123448998 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13980732 memory=1004768 CPUtime=1.38 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 3334 0 0 0 67 71 0 0 20 0 15 0 123449004 14316269568 251192 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
Current children cumulated CPU time: 2462.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1006148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499 s]*
/proc/loadavg: 1.89 1.93 1.87 3/211 988
/proc/meminfo: memFree=26927136/32770624 swapFree=67108860/67108860
[pid=716] ppid=713 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/716/stat : 716 (xcsp3-exec) S 713 716 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123448982 9740288 345 18446744073709551615 4194304 5098028 140736167289952 140736167288056 139649183990396 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 16576512 140736167293304 140736167293509 140736167293509 140736167297003 0
/proc/716/statm: 2378 345 289 221 0 87 0
[pid=718] ppid=716 vsize=13980732 memory=987824 CPUtime=2520.03 cores=1,3,5,7
/proc/718/stat : 718 (java) S 716 716 8563 0 -1 1077944320 211288 0 0 0 251814 189 0 0 20 0 15 0 123448993 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 140726551613968 139984771026679 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
/proc/718/statm: 3495183 246956 3274 1 0 3483476 0
[pid=718/tid=719] ppid=716 vsize=13980732 memory=4278483708103473607 CPUtime=2495.57 cores=1,3,5,7
/proc/718/task/719/stat : 719 (java) R 716 716 8563 0 -1 4202560 72002 0 0 0 249531 26 0 0 20 0 15 0 123448993 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984775265904 139984415673947 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=720] ppid=716 vsize=13980732 memory=4126316290023845779 CPUtime=2.98 cores=1,3,5,7
/proc/718/task/720/stat : 720 (java) S 716 716 8563 0 -1 1077944384 10846 0 0 0 277 21 0 0 20 0 15 0 123448994 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984731924880 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=721] ppid=716 vsize=13980732 memory=1160996 CPUtime=2.98 cores=1,3,5,7
/proc/718/task/721/stat : 721 (java) S 716 716 8563 0 -1 1077944384 10063 0 0 0 277 21 0 0 20 0 15 0 123448994 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984730872080 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=722] ppid=716 vsize=13980732 memory=31356350842106266 CPUtime=2.98 cores=1,3,5,7
/proc/718/task/722/stat : 722 (java) S 716 716 8563 0 -1 1077944384 8972 0 0 0 277 21 0 0 20 0 15 0 123448994 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984729819792 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=723] ppid=716 vsize=13980732 memory=1160996 CPUtime=2.97 cores=1,3,5,7
/proc/718/task/723/stat : 723 (java) S 716 716 8563 0 -1 1077944384 9654 0 0 0 276 21 0 0 20 0 15 0 123448994 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984367970832 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=724] ppid=716 vsize=13980732 memory=31356350842106266 CPUtime=0.42 cores=1,3,5,7
/proc/718/task/724/stat : 724 (java) S 716 716 8563 0 -1 1077944384 9652 0 0 0 38 4 0 0 20 0 15 0 123448995 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984249633392 139984771037826 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=725] ppid=716 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/718/task/725/stat : 725 (java) S 716 716 8563 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984248579424 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=726] ppid=716 vsize=13980732 memory=31356350842106266 CPUtime=0 cores=1,3,5,7
/proc/718/task/726/stat : 726 (java) S 716 716 8563 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 123448996 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984247527040 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=727] ppid=716 vsize=13980732 memory=1160996 CPUtime=0 cores=1,3,5,7
/proc/718/task/727/stat : 727 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984246475344 139984771045275 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=728] ppid=716 vsize=13980732 memory=31356350842106266 CPUtime=4.65 cores=1,3,5,7
/proc/718/task/728/stat : 728 (java) S 716 716 8563 0 -1 1077944384 33094 0 0 0 461 4 0 0 20 0 15 0 123448998 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984245422192 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=729] ppid=716 vsize=13980732 memory=1160996 CPUtime=5.01 cores=1,3,5,7
/proc/718/task/729/stat : 729 (java) S 716 716 8563 0 -1 1077944384 34290 0 0 0 498 3 0 0 20 0 15 0 123448998 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984244369392 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=730] ppid=716 vsize=13980732 memory=1160996 CPUtime=0.97 cores=1,3,5,7
/proc/718/task/730/stat : 730 (java) S 716 716 8563 0 -1 1077944384 17963 0 0 0 94 3 0 0 20 0 15 0 123448998 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984243317104 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=731] ppid=716 vsize=13980732 memory=1160996 CPUtime=0 cores=1,3,5,7
/proc/718/task/731/stat : 731 (java) S 716 716 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123448998 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984242264544 139984771036885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
[pid=718/tid=732] ppid=716 vsize=13980732 memory=31356350842106266 CPUtime=1.41 cores=1,3,5,7
/proc/718/task/732/stat : 732 (java) S 716 716 8563 0 -1 1077944384 3349 0 0 0 68 73 0 0 20 0 15 0 123449004 14316269568 246956 18446744073709551615 4194304 4196468 140726551631424 139984241212336 139984771037826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 9486336 140726551634353 140726551634529 140726551634529 140726551637967 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 989204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.02 s]
# the end of solver process 716 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001724 s, system=0.000171 s
[startup+2499.02 s]
# the end of solver process 718 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.16 s, system=1.90366 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
Child status: 143
Real time (s): 2499.02
CPU time (s): 2520.06
CPU user time (s): 2518.16
CPU system time (s): 1.90366
CPU usage (%): 100.842
Max. virtual memory (cumulated for all children) (KiB): 13995092
Max. memory (cumulated for all children) (KiB): 1628008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.16
system time used= 1.90366
maximum resident set size= 1639020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60270
involuntary context switches= 1528
# summary of solver processes directly reported to runsolver:
# pid: 716,718
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.16
# total CPU system time (s): 1.90366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0901 second user time and 23.6402 second system time
The end