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 (13922 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272606-1502768870/watcher-4272606-1502768870 -o /tmp/evaluation-result-4272606-1502768870/solver-4272606-1502768870 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 722112318 HOME/instance-4272606-1502768870.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
solver pid=32692, runsolver pid=32689
Current StackSize limit: 8192 KiB
[startup+0.100177 s]*
/proc/loadavg: 1.56 1.62 1.66 3/198 32694
/proc/meminfo: memFree=29969144/32770624 swapFree=67108860/67108860
[pid=32692] ppid=32689 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79107589 9740288 344 18446744073709551615 4194304 5098028 140730051497360 140730051495464 140577622442620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33366016 140730051498361 140730051498565 140730051498565 140730051502059 0
/proc/32692/statm: 2378 344 289 221 0 87 0
[pid=32694] ppid=32692 vsize=11657624 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/32694/stat : 32694 (java) S 32692 32692 897 0 -1 1077944320 2096 0 0 0 0 0 0 0 20 0 2 0 79107599 11937406976 2341 18446744073709551615 4194304 4196468 140731751340976 140731751323520 140671583829751 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
/proc/32694/statm: 2914406 2341 1151 1 0 2904376 0
[pid=32694/tid=32695] ppid=32692 vsize=11657624 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 897 0 -1 4202560 938 0 0 0 0 0 0 0 20 0 2 0 79107600 11937406976 2407 18446744073709551615 4194304 4196468 140731751340976 140671588071840 140671564939024 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10740 KiB
[startup+0.209622 s]*
/proc/loadavg: 1.56 1.62 1.66 2/211 32707
/proc/meminfo: memFree=29958512/32770624 swapFree=67108860/67108860
[pid=32692] ppid=32689 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79107589 9740288 344 18446744073709551615 4194304 5098028 140730051497360 140730051495464 140577622442620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33366016 140730051498361 140730051498565 140730051498565 140730051502059 0
/proc/32692/statm: 2378 344 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13973868 memory=21644 CPUtime=0.05 cores=1,3,5,7
/proc/32694/stat : 32694 (java) S 32692 32692 897 0 -1 1077944320 4855 0 0 0 5 0 0 0 20 0 15 0 79107599 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140731751323520 140671583829751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
/proc/32694/statm: 3493467 5411 2577 1 0 3482964 0
[pid=32694/tid=32695] ppid=32692 vsize=13973868 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 897 0 -1 4202560 3013 0 0 0 5 0 0 0 20 0 15 0 79107600 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671588060656 140671583851677 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32696] ppid=32692 vsize=13973868 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671525775760 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32697] ppid=32692 vsize=13973868 memory=140324433529314 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671524722960 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32698] ppid=32692 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671523670672 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32699] ppid=32692 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79107600 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671522617872 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32700] ppid=32692 vsize=13973868 memory=140324433499776 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79107602 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671129528944 140671583840898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32701] ppid=32692 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79107602 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671128474912 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32702] ppid=32692 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79107602 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671127422576 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32703] ppid=32692 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671126370896 140671583848347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32704] ppid=32692 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32704/stat : 32704 (java) S 32692 32692 897 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 79107605 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671125317744 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32705] ppid=32692 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32705/stat : 32705 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107605 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671124264944 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32706] ppid=32692 vsize=13973868 memory=140324433499776 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 897 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 79107605 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671123212656 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32707] ppid=32692 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671122160096 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32708] ppid=32692 vsize=13973868 memory=140324433499776 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107611 14309240832 5411 18446744073709551615 4194304 4196468 140731751340976 140671121107888 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23020 KiB
[startup+0.309964 s]*
/proc/loadavg: 1.56 1.62 1.66 3/212 32708
/proc/meminfo: memFree=29945116/32770624 swapFree=67108860/67108860
[pid=32692] ppid=32689 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79107589 9740288 344 18446744073709551615 4194304 5098028 140730051497360 140730051495464 140577622442620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33366016 140730051498361 140730051498565 140730051498565 140730051502059 0
/proc/32692/statm: 2378 344 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13974352 memory=36568 CPUtime=0.23 cores=1,3,5,7
/proc/32694/stat : 32694 (java) S 32692 32692 897 0 -1 1077944320 8716 0 0 0 21 2 0 0 20 0 15 0 79107599 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140731751323520 140671583829751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
/proc/32694/statm: 3493588 9142 2972 1 0 3482964 0
[pid=32694/tid=32695] ppid=32692 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 897 0 -1 4202560 5935 0 0 0 13 1 0 0 20 0 15 0 79107600 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671588052128 140671567910238 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32696] ppid=32692 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671525775760 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32697] ppid=32692 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671524722960 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32698] ppid=32692 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671523670672 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32699] ppid=32692 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79107600 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671522617872 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32700] ppid=32692 vsize=13974352 memory=140324433499776 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79107602 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671129528944 140671583840898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32701] ppid=32692 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79107602 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671128474912 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32702] ppid=32692 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79107602 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671127422576 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32703] ppid=32692 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671126370896 140671583848347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32704] ppid=32692 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32694/task/32704/stat : 32704 (java) R 32692 32692 897 0 -1 1077944384 555 0 0 0 1 0 0 0 20 0 15 0 79107605 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671125317744 140671583840898 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32705] ppid=32692 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32694/task/32705/stat : 32705 (java) S 32692 32692 897 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 15 0 79107605 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671124264944 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32706] ppid=32692 vsize=13974352 memory=140324433499776 CPUtime=0.05 cores=1,3,5,7
/proc/32694/task/32706/stat : 32706 (java) R 32692 32692 897 0 -1 4202560 698 0 0 0 5 0 0 0 20 0 15 0 79107605 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671123212656 140671583851098 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32707] ppid=32692 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671122160096 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32708] ppid=32692 vsize=13974352 memory=140324433499776 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107611 14309736448 9142 18446744073709551615 4194304 4196468 140731751340976 140671121107888 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37944 KiB
[startup+0.70754 s]
/proc/loadavg: 1.56 1.62 1.66 3/212 32708
/proc/meminfo: memFree=29933308/32770624 swapFree=67108860/67108860
[pid=32692] ppid=32689 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79107589 9740288 344 18446744073709551615 4194304 5098028 140730051497360 140730051495464 140577622442620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33366016 140730051498361 140730051498565 140730051498565 140730051502059 0
/proc/32692/statm: 2378 344 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13978684 memory=92292 CPUtime=1.24 cores=1,3,5,7
/proc/32694/stat : 32694 (java) S 32692 32692 897 0 -1 1077944320 13159 0 0 0 118 6 0 0 20 0 15 0 79107599 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140731751323520 140671583829751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
/proc/32694/statm: 3494671 23073 3156 1 0 3482964 0
[pid=32694/tid=32695] ppid=32692 vsize=13978684 memory=2244 CPUtime=0.53 cores=1,3,5,7
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 897 0 -1 4202560 7809 0 0 0 49 4 0 0 20 0 15 0 79107600 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671588066800 140671201671769 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32696] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671525775760 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32697] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671524722960 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32698] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671523670672 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32699] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671522617872 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32700] ppid=32692 vsize=13978684 memory=3977297634295638623 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79107602 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671129528944 140671583840898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32701] ppid=32692 vsize=13978684 memory=280648598748000 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79107602 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671128474912 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32702] ppid=32692 vsize=13978684 memory=280648598748192 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79107602 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671127422576 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32703] ppid=32692 vsize=13978684 memory=280648598748384 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671126370896 140671583848347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32704] ppid=32692 vsize=13978684 memory=280648598748576 CPUtime=0.21 cores=1,3,5,7
/proc/32694/task/32704/stat : 32704 (java) R 32692 32692 897 0 -1 4202560 1593 0 0 0 21 0 0 0 20 0 15 0 79107605 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671125303824 140671563068208 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32705] ppid=32692 vsize=13978684 memory=280648598748768 CPUtime=0.19 cores=1,3,5,7
/proc/32694/task/32705/stat : 32705 (java) R 32692 32692 897 0 -1 4202560 913 0 0 0 19 0 0 0 20 0 15 0 79107605 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671124254736 140671563073647 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32706] ppid=32692 vsize=13978684 memory=280648598748960 CPUtime=0.28 cores=1,3,5,7
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 897 0 -1 1077944384 1537 0 0 0 28 0 0 0 20 0 15 0 79107605 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671123212656 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32707] ppid=32692 vsize=13978684 memory=280648598247328 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671122160096 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32708] ppid=32692 vsize=13978684 memory=135 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107611 14314172416 23073 18446744073709551615 4194304 4196468 140731751340976 140671121107888 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 93668 KiB
[startup+0.971924 s]
# the end of solver process 32692 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.05223 s, system=0.079327 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801574 s]
/proc/loadavg: 1.56 1.62 1.66 3/212 32708
/proc/meminfo: memFree=29933308/32770624 swapFree=67108860/67108860
[pid=32692] ppid=32689 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79107589 9740288 344 18446744073709551615 4194304 5098028 140730051497360 140730051495464 140577622442620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33366016 140730051498361 140730051498565 140730051498565 140730051502059 0
/proc/32692/statm: 2378 344 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13978684 memory=112912 CPUtime=1.57 cores=1,3,5,7
/proc/32694/stat : 32694 (java) S 32692 32692 897 0 -1 1077944320 13727 0 0 0 150 7 0 0 20 0 15 0 79107599 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140731751323520 140671583829751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
/proc/32694/statm: 3494671 28228 3164 1 0 3482964 0
[pid=32694/tid=32695] ppid=32692 vsize=13978684 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 897 0 -1 4202560 7891 0 0 0 58 4 0 0 20 0 15 0 79107600 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671588066320 140671201865203 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32696] ppid=32692 vsize=13978684 memory=140324299091296 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671525775760 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32697] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671524722960 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32698] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671523670672 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32699] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79107600 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671522617872 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32700] ppid=32692 vsize=13978684 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79107602 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671129528944 140671583840898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32701] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79107602 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671128474912 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32702] ppid=32692 vsize=13978684 memory=4948216401004632704 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79107602 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671127422576 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32703] ppid=32692 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671126370896 140671583848347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32704] ppid=32692 vsize=13978684 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/32694/task/32704/stat : 32704 (java) R 32692 32692 897 0 -1 4202560 1647 0 0 0 30 0 0 0 20 0 15 0 79107605 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671125304288 140671567216973 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32705] ppid=32692 vsize=13978684 memory=840 CPUtime=0.29 cores=1,3,5,7
/proc/32694/task/32705/stat : 32705 (java) R 32692 32692 897 0 -1 4202560 1190 0 0 0 29 0 0 0 20 0 15 0 79107605 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671124251728 140671561286720 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32706] ppid=32692 vsize=13978684 memory=16436 CPUtime=0.32 cores=1,3,5,7
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 897 0 -1 1077944384 1693 0 0 0 32 0 0 0 20 0 15 0 79107605 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671123212656 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32707] ppid=32692 vsize=13978684 memory=3016 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671122160096 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32708] ppid=32692 vsize=13978684 memory=2860 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107611 14314172416 28228 18446744073709551615 4194304 4196468 140731751340976 140671121107888 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 114288 KiB
[startup+0.901577 s]
/proc/loadavg: 1.56 1.62 1.66 3/212 32708
/proc/meminfo: memFree=29933308/32770624 swapFree=67108860/67108860
[pid=32692] ppid=32689 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79107589 9740288 344 18446744073709551615 4194304 5098028 140730051497360 140730051495464 140577622442620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 33366016 140730051498361 140730051498565 140730051498565 140730051502059 0
/proc/32692/statm: 2378 344 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 memory=124692 CPUtime=1.9 cores=1,3,5,7
/proc/32694/stat : 32694 (java) S 32692 32692 897 0 -1 1077944320 14464 0 0 0 183 7 0 0 20 0 15 0 79107599 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140731751323520 140671583829751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
/proc/32694/statm: 3495183 31173 3171 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 memory=2244 CPUtime=0.72 cores=1,3,5,7
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 897 0 -1 4202560 8436 0 0 0 68 4 0 0 20 0 15 0 79107600 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671588068592 140671201714091 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671525775760 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671524722960 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32698] ppid=32692 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107600 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671523670672 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32699] ppid=32692 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79107600 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671522617872 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32700] ppid=32692 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79107602 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671129528944 140671583840898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32701] ppid=32692 vsize=13980732 memory=3204 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79107602 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671128474912 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79107602 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671127422576 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 memory=1046372 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671126370896 140671583848347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 memory=4060 CPUtime=0.39 cores=1,3,5,7
/proc/32694/task/32704/stat : 32704 (java) R 32692 32692 897 0 -1 4202560 1665 0 0 0 39 0 0 0 20 0 15 0 79107605 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671125304560 140671568955932 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 memory=1156 CPUtime=0.37 cores=1,3,5,7
/proc/32694/task/32705/stat : 32705 (java) R 32692 32692 897 0 -1 4202560 1235 0 0 0 37 0 0 0 20 0 15 0 79107605 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671124254544 140671563087388 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 memory=2364 CPUtime=0.39 cores=1,3,5,7
/proc/32694/task/32706/stat : 32706 (java) R 32692 32692 897 0 -1 4202560 1822 0 0 0 38 1 0 0 20 0 15 0 79107605 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671123212656 140671563544532 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79107605 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671122160096 140671583839957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 memory=3977297634295638623 CPUtime=0 cores=1,3,5,7
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79107611 14316269568 31173 18446744073709551615 4194304 4196468 140731751340976 140671121107888 140671583840898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140731751342513 140731751342689 140731751342689 140731751346127 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 126068 KiB
Child status: 0
Real time (s): 0.97198
CPU time (s): 2.13156
CPU user time (s): 2.05223
CPU system time (s): 0.079327
CPU usage (%): 219.301
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 126068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.05223
system time used= 0.079327
maximum resident set size= 128388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1533
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 32692
# total CPU time (s): 2.13156
# total CPU user time (s): 2.05223
# total CPU system time (s): 0.079327
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033107 second user time and 0.040848 second system time
The end