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 (15094 MiB free)
memory of node 1: 16384 MiB (15011 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283742-1503196740/watcher-4283742-1503196740 -o /tmp/evaluation-result-4283742-1503196740/solver-4283742-1503196740 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28736 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2052948105 HOME/instance-4283742-1503196740.xml
running on 4 cores: 0,2,4,6
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=404, runsolver pid=401
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 1.88 1.98 1.96 2/196 405
/proc/meminfo: memFree=30827780/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9508 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) R 401 404 13977 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 108014612 9736192 286 18446744073709551615 4194304 5098028 140724032608416 140724032608416 140483035714688 0 0 5 65536 0 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2377 286 236 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1144 KiB
[startup+0.209425 s]*
/proc/loadavg: 1.88 1.98 1.96 2/210 420
/proc/meminfo: memFree=30815736/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) S 401 404 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 108014612 9740288 345 18446744073709551615 4194304 5098028 140724032608416 140724032606520 140483036275324 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2378 345 289 221 0 87 0
[pid=406] ppid=404 vsize=13973868 memory=22480 CPUtime=0.06 cores=0,2,4,6
/proc/406/stat : 406 (java) S 404 404 13977 0 -1 1077944320 4513 0 0 0 5 1 0 0 20 0 15 0 108014623 14309240832 5620 18446744073709551615 4194304 4196468 140731520926064 140731520908608 140625276686071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
/proc/406/statm: 3493467 5620 2579 1 0 3482964 0
[pid=406/tid=407] ppid=404 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/406/task/407/stat : 407 (java) R 404 404 13977 0 -1 4202560 2848 0 0 0 4 1 0 0 20 0 15 0 108014623 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140625280919904 140625276707997 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=408] ppid=404 vsize=13974352 memory=1358 CPUtime=0 cores=0,2,4,6
/proc/406/task/408/stat : 408 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140625218632080 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=409] ppid=404 vsize=13974352 memory=288370895830111872 CPUtime=0 cores=0,2,4,6
/proc/406/task/409/stat : 409 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140625217579280 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=410] ppid=404 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/410/stat : 410 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140625216526992 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=411] ppid=404 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/406/task/411/stat : 411 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624873921040 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=412] ppid=404 vsize=13974352 memory=140519678400128 CPUtime=0 cores=0,2,4,6
/proc/406/task/412/stat : 412 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014625 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624394771056 140625276697218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=413] ppid=404 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/406/task/413/stat : 413 (java) S 404 404 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108014626 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624393717024 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=414] ppid=404 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108014626 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) S 404 404 13977 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 108014628 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624390559856 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014628 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624389507056 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13974352 memory=140519678400128 CPUtime=0 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) S 404 404 13977 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 108014628 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13974352 memory=140519678400128 CPUtime=0 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014634 14309736448 5752 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23860 KiB
[startup+0.310289 s]*
/proc/loadavg: 1.88 1.98 1.96 4/211 421
/proc/meminfo: memFree=30806212/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) S 401 404 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 108014612 9740288 345 18446744073709551615 4194304 5098028 140724032608416 140724032606520 140483036275324 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2378 345 289 221 0 87 0
[pid=406] ppid=404 vsize=13976336 memory=35380 CPUtime=0.24 cores=0,2,4,6
/proc/406/stat : 406 (java) S 404 404 13977 0 -1 1077944320 6303 0 0 0 23 1 0 0 20 0 15 0 108014623 14311768064 8845 18446744073709551615 4194304 4196468 140731520926064 140731520908608 140625276686071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
/proc/406/statm: 3494084 8845 2971 1 0 3483460 0
[pid=406/tid=407] ppid=404 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/406/task/407/stat : 407 (java) R 404 404 13977 0 -1 4202560 5194 0 0 0 13 1 0 0 20 0 15 0 108014623 14310785024 9301 18446744073709551615 4194304 4196468 140731520926064 140625280897312 140625269365789 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=408] ppid=404 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/408/stat : 408 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14310785024 9301 18446744073709551615 4194304 4196468 140731520926064 140625218632080 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=409] ppid=404 vsize=13975376 memory=140519678400128 CPUtime=0 cores=0,2,4,6
/proc/406/task/409/stat : 409 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14310785024 9301 18446744073709551615 4194304 4196468 140731520926064 140625217579280 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=410] ppid=404 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/410/stat : 410 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14310785024 9367 18446744073709551615 4194304 4196468 140731520926064 140625216526992 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=411] ppid=404 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/406/task/411/stat : 411 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14310785024 9367 18446744073709551615 4194304 4196468 140731520926064 140624873921040 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=412] ppid=404 vsize=13975376 memory=140519678400128 CPUtime=0 cores=0,2,4,6
/proc/406/task/412/stat : 412 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014625 14310785024 9367 18446744073709551615 4194304 4196468 140731520926064 140624394771056 140625276697218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=413] ppid=404 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/406/task/413/stat : 413 (java) S 404 404 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108014626 14310785024 9367 18446744073709551615 4194304 4196468 140731520926064 140624393717024 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=414] ppid=404 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108014626 14310785024 9433 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14310785024 9433 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) S 404 404 13977 0 -1 1077944384 569 0 0 0 1 0 0 0 20 0 15 0 108014628 14310785024 9433 18446744073709551615 4194304 4196468 140731520926064 140624390559856 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13975376 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) S 404 404 13977 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 108014628 14310785024 9433 18446744073709551615 4194304 4196468 140731520926064 140624389507056 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13975376 memory=140519678400128 CPUtime=0.05 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) S 404 404 13977 0 -1 1077944384 719 0 0 0 5 0 0 0 20 0 15 0 108014628 14310785024 9433 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14310785024 9433 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13975376 memory=140519678400128 CPUtime=0 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014634 14310785024 9433 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13985848 KiB
Current children cumulated memory: 36760 KiB
[startup+0.705162 s]
/proc/loadavg: 1.88 1.98 1.96 5/211 421
/proc/meminfo: memFree=30790272/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) S 401 404 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 108014612 9740288 345 18446744073709551615 4194304 5098028 140724032608416 140724032606520 140483036275324 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2378 345 289 221 0 87 0
[pid=406] ppid=404 vsize=13980732 memory=64724 CPUtime=1.17 cores=0,2,4,6
/proc/406/stat : 406 (java) S 404 404 13977 0 -1 1077944320 12766 0 0 0 112 5 0 0 20 0 15 0 108014623 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140731520908608 140625276686071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
/proc/406/statm: 3495183 16181 3174 1 0 3483476 0
[pid=406/tid=407] ppid=404 vsize=13980732 memory=365 CPUtime=0.53 cores=0,2,4,6
/proc/406/task/407/stat : 407 (java) R 404 404 13977 0 -1 4202560 8098 0 0 0 50 3 0 0 20 0 15 0 108014623 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140625280924720 140624899739817 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=408] ppid=404 vsize=13980732 memory=37 CPUtime=0 cores=0,2,4,6
/proc/406/task/408/stat : 408 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140625218632080 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=409] ppid=404 vsize=13980732 memory=418 CPUtime=0 cores=0,2,4,6
/proc/406/task/409/stat : 409 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140625217579280 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=410] ppid=404 vsize=13980732 memory=104 CPUtime=0 cores=0,2,4,6
/proc/406/task/410/stat : 410 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140625216526992 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=411] ppid=404 vsize=13980732 memory=6 CPUtime=0 cores=0,2,4,6
/proc/406/task/411/stat : 411 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624873921040 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=412] ppid=404 vsize=13980732 memory=7357 CPUtime=0 cores=0,2,4,6
/proc/406/task/412/stat : 412 (java) S 404 404 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108014625 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624394771056 140625276697218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=413] ppid=404 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/413/stat : 413 (java) S 404 404 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624393717024 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=414] ppid=404 vsize=13980732 memory=7518873262464783212 CPUtime=0 cores=0,2,4,6
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13980732 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13980732 memory=6935649255759568960 CPUtime=0.18 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) R 404 404 13977 0 -1 4202560 1263 0 0 0 18 0 0 0 20 0 15 0 108014628 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624390548528 140625259890448 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13980732 memory=507984 CPUtime=0.14 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) R 404 404 13977 0 -1 4202560 581 0 0 0 14 0 0 0 20 0 15 0 108014628 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624389492208 140625261079896 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13980732 memory=-8774313645642428999 CPUtime=0.28 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) R 404 404 13977 0 -1 1077944384 1515 0 0 0 28 0 0 0 20 0 15 0 108014628 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014634 14316269568 16181 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66104 KiB
[startup+1.50182 s]
/proc/loadavg: 1.88 1.98 1.96 5/211 421
/proc/meminfo: memFree=30753304/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) S 401 404 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 108014612 9740288 345 18446744073709551615 4194304 5098028 140724032608416 140724032606520 140483036275324 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2378 345 289 221 0 87 0
[pid=406] ppid=404 vsize=13980732 memory=140264 CPUtime=3.73 cores=0,2,4,6
/proc/406/stat : 406 (java) S 404 404 13977 0 -1 1077944320 27272 0 0 0 365 8 0 0 20 0 15 0 108014623 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140731520908608 140625276686071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
/proc/406/statm: 3495183 35066 3192 1 0 3483476 0
[pid=406/tid=407] ppid=404 vsize=13980732 memory=7012783462539944557 CPUtime=1.33 cores=0,2,4,6
/proc/406/task/407/stat : 407 (java) R 404 404 13977 0 -1 4202560 8632 0 0 0 129 4 0 0 20 0 15 0 108014623 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140625280922752 140624900789623 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=408] ppid=404 vsize=13980732 memory=7375047242390266980 CPUtime=0 cores=0,2,4,6
/proc/406/task/408/stat : 408 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140625218632080 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=409] ppid=404 vsize=13980732 memory=7882255100634226049 CPUtime=0 cores=0,2,4,6
/proc/406/task/409/stat : 409 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140625217579280 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=410] ppid=404 vsize=13980732 memory=7882255100634226049 CPUtime=0 cores=0,2,4,6
/proc/406/task/410/stat : 410 (java) S 404 404 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140625216526992 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=411] ppid=404 vsize=13980732 memory=7882255100651003265 CPUtime=0 cores=0,2,4,6
/proc/406/task/411/stat : 411 (java) S 404 404 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108014624 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624873921040 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=412] ppid=404 vsize=13980732 memory=16484084485400 CPUtime=0 cores=0,2,4,6
/proc/406/task/412/stat : 412 (java) S 404 404 13977 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 108014625 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624394771056 140625276697218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=413] ppid=404 vsize=13980732 memory=301741394949833029 CPUtime=0 cores=0,2,4,6
/proc/406/task/413/stat : 413 (java) S 404 404 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624393717024 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=414] ppid=404 vsize=13980732 memory=13564920654470259 CPUtime=0 cores=0,2,4,6
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13980732 memory=742138739472622144 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13980732 memory=-6451922813430251667 CPUtime=0.98 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) R 404 404 13977 0 -1 4202560 5978 0 0 0 97 1 0 0 20 0 15 0 108014628 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624390540872 140625256349680 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13980732 memory=3047711592025925257 CPUtime=0.94 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) R 404 404 13977 0 -1 4202560 8140 0 0 0 93 1 0 0 20 0 15 0 108014628 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624389497648 140625258230551 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13980732 memory=8514701219882239650 CPUtime=0.45 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) S 404 404 13977 0 -1 1077944384 3201 0 0 0 44 1 0 0 20 0 15 0 108014628 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13980732 memory=8764164798296070351 CPUtime=0 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014634 14316269568 35066 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
################
# More data... #
################
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 120283 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14316269568 120283 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13980732 memory=1380 CPUtime=3.06 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) S 404 404 13977 0 -1 1077944384 18357 0 0 0 304 2 0 0 20 0 15 0 108014628 14316269568 120283 18446744073709551615 4194304 4196468 140731520926064 140624390559856 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13980732 memory=482672 CPUtime=2.98 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) S 404 404 13977 0 -1 1077944384 15588 0 0 0 294 4 0 0 20 0 15 0 108014628 14316269568 120283 18446744073709551615 4194304 4196468 140731520926064 140624389507056 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13980732 memory=1380 CPUtime=0.66 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) S 404 404 13977 0 -1 1077944384 8024 0 0 0 64 2 0 0 20 0 15 0 108014628 14316269568 120283 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14316269568 120283 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13980732 memory=164 CPUtime=1.13 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 948 0 0 0 54 59 0 0 20 0 15 0 108014634 14316269568 120283 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
Current children cumulated CPU time: 2448.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 482512 KiB
[startup+2442.3 s]
/proc/loadavg: 1.72 1.66 1.63 3/211 701
/proc/meminfo: memFree=29502204/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) S 401 404 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 108014612 9740288 345 18446744073709551615 4194304 5098028 140724032608416 140724032606520 140483036275324 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2378 345 289 221 0 87 0
[pid=406] ppid=404 vsize=13980732 memory=485076 CPUtime=2510.09 cores=0,2,4,6
/proc/406/stat : 406 (java) S 404 404 13977 0 -1 1077944320 205451 0 0 0 250711 298 0 0 20 0 15 0 108014623 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140731520908608 140625276686071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
/proc/406/statm: 3495183 121269 3258 1 0 3483476 0
[pid=406/tid=407] ppid=404 vsize=13980732 memory=485076 CPUtime=2418.84 cores=0,2,4,6
/proc/406/task/407/stat : 407 (java) R 404 404 13977 0 -1 4202560 55542 0 0 0 241866 18 0 0 20 0 15 0 108014623 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140625280925760 140624903829765 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=408] ppid=404 vsize=13980732 memory=1380 CPUtime=20.37 cores=0,2,4,6
/proc/406/task/408/stat : 408 (java) S 404 404 13977 0 -1 1077944384 17095 0 0 0 1985 52 0 0 20 0 15 0 108014624 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140625218632080 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=409] ppid=404 vsize=13980732 memory=485076 CPUtime=20.38 cores=0,2,4,6
/proc/406/task/409/stat : 409 (java) S 404 404 13977 0 -1 1077944384 18598 0 0 0 1988 50 0 0 20 0 15 0 108014624 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140625217579280 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=410] ppid=404 vsize=13980732 memory=1380 CPUtime=20.41 cores=0,2,4,6
/proc/406/task/410/stat : 410 (java) S 404 404 13977 0 -1 1077944384 18298 0 0 0 1992 49 0 0 20 0 15 0 108014624 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140625216526992 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=411] ppid=404 vsize=13980732 memory=485892 CPUtime=20.41 cores=0,2,4,6
/proc/406/task/411/stat : 411 (java) S 404 404 13977 0 -1 1077944384 19314 0 0 0 1991 50 0 0 20 0 15 0 108014624 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624873921040 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=412] ppid=404 vsize=13980732 memory=485892 CPUtime=1.71 cores=0,2,4,6
/proc/406/task/412/stat : 412 (java) S 404 404 13977 0 -1 1077944384 32319 0 0 0 143 28 0 0 20 0 15 0 108014625 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624394771056 140625276697218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=413] ppid=404 vsize=13980732 memory=485892 CPUtime=0 cores=0,2,4,6
/proc/406/task/413/stat : 413 (java) S 404 404 13977 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624393717024 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=414] ppid=404 vsize=13980732 memory=485892 CPUtime=0 cores=0,2,4,6
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13980732 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) S 404 404 13977 0 -1 1077944384 18357 0 0 0 304 2 0 0 20 0 15 0 108014628 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624390559856 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13980732 memory=486100 CPUtime=2.98 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) S 404 404 13977 0 -1 1077944384 15588 0 0 0 294 4 0 0 20 0 15 0 108014628 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624389507056 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13980732 memory=486100 CPUtime=0.66 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) S 404 404 13977 0 -1 1077944384 8024 0 0 0 64 2 0 0 20 0 15 0 108014628 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13980732 memory=486100 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13980732 memory=485076 CPUtime=1.17 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 975 0 0 0 56 61 0 0 20 0 15 0 108014634 14316269568 121269 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
Current children cumulated CPU time: 2510.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 486456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.11 s]
/proc/loadavg: 1.61 1.64 1.63 3/211 701
/proc/meminfo: memFree=29487668/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) S 401 404 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 108014612 9740288 345 18446744073709551615 4194304 5098028 140724032608416 140724032606520 140483036275324 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2378 345 289 221 0 87 0
[pid=406] ppid=404 vsize=13980732 memory=488348 CPUtime=2520.09 cores=0,2,4,6
/proc/406/stat : 406 (java) S 404 404 13977 0 -1 1077944320 205591 0 0 0 251710 299 0 0 20 0 15 0 108014623 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140731520908608 140625276686071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
/proc/406/statm: 3495183 122087 3258 1 0 3483476 0
[pid=406/tid=407] ppid=404 vsize=13980732 memory=488348 CPUtime=2428.58 cores=0,2,4,6
/proc/406/task/407/stat : 407 (java) R 404 404 13977 0 -1 4202560 55550 0 0 0 242840 18 0 0 20 0 15 0 108014623 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625280925312 140624902251965 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=408] ppid=404 vsize=13980732 memory=484048 CPUtime=20.43 cores=0,2,4,6
/proc/406/task/408/stat : 408 (java) S 404 404 13977 0 -1 1077944384 17130 0 0 0 1991 52 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625218632080 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=409] ppid=404 vsize=13980732 memory=484560 CPUtime=20.45 cores=0,2,4,6
/proc/406/task/409/stat : 409 (java) S 404 404 13977 0 -1 1077944384 18633 0 0 0 1995 50 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625217579280 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=410] ppid=404 vsize=13980732 memory=486100 CPUtime=20.47 cores=0,2,4,6
/proc/406/task/410/stat : 410 (java) S 404 404 13977 0 -1 1077944384 18339 0 0 0 1998 49 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625216526992 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=411] ppid=404 vsize=13980732 memory=0 CPUtime=20.47 cores=0,2,4,6
/proc/406/task/411/stat : 411 (java) S 404 404 13977 0 -1 1077944384 19325 0 0 0 1997 50 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624873921040 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=412] ppid=404 vsize=13980732 memory=1380 CPUtime=1.72 cores=0,2,4,6
/proc/406/task/412/stat : 412 (java) S 404 404 13977 0 -1 1077944384 32327 0 0 0 144 28 0 0 20 0 15 0 108014625 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624394771056 140625276697218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=413] ppid=404 vsize=13980732 memory=485892 CPUtime=0 cores=0,2,4,6
/proc/406/task/413/stat : 413 (java) S 404 404 13977 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624393717024 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=414] ppid=404 vsize=13980732 memory=485892 CPUtime=0 cores=0,2,4,6
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13980732 memory=488156 CPUtime=3.06 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) S 404 404 13977 0 -1 1077944384 18357 0 0 0 304 2 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624390559856 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13980732 memory=488348 CPUtime=2.98 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) S 404 404 13977 0 -1 1077944384 15588 0 0 0 294 4 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624389507056 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13980732 memory=1380 CPUtime=0.66 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) S 404 404 13977 0 -1 1077944384 8024 0 0 0 64 2 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13980732 memory=1380 CPUtime=1.17 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 977 0 0 0 56 61 0 0 20 0 15 0 108014634 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 489728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.12 s]
# the end of solver process 404 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000863 s, system=0.001265 s
[startup+2452.12 s]
# the end of solver process 406 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.11 s, system=2.99868 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.11 s]
/proc/loadavg: 1.61 1.64 1.63 3/211 701
/proc/meminfo: memFree=29487668/32770624 swapFree=67108860/67108860
[pid=404] ppid=401 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (xcsp3-exec) S 401 404 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 108014612 9740288 345 18446744073709551615 4194304 5098028 140724032608416 140724032606520 140483036275324 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 30150656 140724032610680 140724032610885 140724032610885 140724032614379 0
/proc/404/statm: 2378 345 289 221 0 87 0
[pid=406] ppid=404 vsize=13980732 memory=488348 CPUtime=2520.09 cores=0,2,4,6
/proc/406/stat : 406 (java) S 404 404 13977 0 -1 1077944320 205591 0 0 0 251710 299 0 0 20 0 15 0 108014623 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140731520908608 140625276686071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
/proc/406/statm: 3495183 122087 3258 1 0 3483476 0
[pid=406/tid=407] ppid=404 vsize=13980732 memory=488348 CPUtime=2428.58 cores=0,2,4,6
/proc/406/task/407/stat : 407 (java) R 404 404 13977 0 -1 4202560 55550 0 0 0 242840 18 0 0 20 0 15 0 108014623 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625280925312 140624902251965 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=408] ppid=404 vsize=13980732 memory=484048 CPUtime=20.43 cores=0,2,4,6
/proc/406/task/408/stat : 408 (java) S 404 404 13977 0 -1 1077944384 17130 0 0 0 1991 52 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625218632080 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=409] ppid=404 vsize=13980732 memory=484560 CPUtime=20.45 cores=0,2,4,6
/proc/406/task/409/stat : 409 (java) S 404 404 13977 0 -1 1077944384 18633 0 0 0 1995 50 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625217579280 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=410] ppid=404 vsize=13980732 memory=486100 CPUtime=20.47 cores=0,2,4,6
/proc/406/task/410/stat : 410 (java) S 404 404 13977 0 -1 1077944384 18339 0 0 0 1998 49 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140625216526992 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=411] ppid=404 vsize=13980732 memory=0 CPUtime=20.47 cores=0,2,4,6
/proc/406/task/411/stat : 411 (java) S 404 404 13977 0 -1 1077944384 19325 0 0 0 1997 50 0 0 20 0 15 0 108014624 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624873921040 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=412] ppid=404 vsize=13980732 memory=1380 CPUtime=1.72 cores=0,2,4,6
/proc/406/task/412/stat : 412 (java) S 404 404 13977 0 -1 1077944384 32327 0 0 0 144 28 0 0 20 0 15 0 108014625 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624394771056 140625276697218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=413] ppid=404 vsize=13980732 memory=485892 CPUtime=0 cores=0,2,4,6
/proc/406/task/413/stat : 413 (java) S 404 404 13977 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624393717024 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=414] ppid=404 vsize=13980732 memory=485892 CPUtime=0 cores=0,2,4,6
/proc/406/task/414/stat : 414 (java) S 404 404 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108014626 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624392664688 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=415] ppid=404 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/406/task/415/stat : 415 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624391613008 140625276704667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=417] ppid=404 vsize=13980732 memory=488156 CPUtime=3.06 cores=0,2,4,6
/proc/406/task/417/stat : 417 (java) S 404 404 13977 0 -1 1077944384 18357 0 0 0 304 2 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624390559856 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=418] ppid=404 vsize=13980732 memory=488348 CPUtime=2.98 cores=0,2,4,6
/proc/406/task/418/stat : 418 (java) S 404 404 13977 0 -1 1077944384 15588 0 0 0 294 4 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624389507056 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=419] ppid=404 vsize=13980732 memory=1380 CPUtime=0.66 cores=0,2,4,6
/proc/406/task/419/stat : 419 (java) S 404 404 13977 0 -1 1077944384 8024 0 0 0 64 2 0 0 20 0 15 0 108014628 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624388454768 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=420] ppid=404 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/406/task/420/stat : 420 (java) S 404 404 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108014629 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624387402208 140625276696277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
[pid=406/tid=421] ppid=404 vsize=13980732 memory=1380 CPUtime=1.17 cores=0,2,4,6
/proc/406/task/421/stat : 421 (java) S 404 404 13977 0 -1 1077944384 977 0 0 0 56 61 0 0 20 0 15 0 108014634 14316269568 122087 18446744073709551615 4194304 4196468 140731520926064 140624386350000 140625276697218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 30363648 140731520934321 140731520934497 140731520934497 140731520937935 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 489728 KiB
Child status: 143
Real time (s): 2452.12
CPU time (s): 2520.11
CPU user time (s): 2517.11
CPU system time (s): 2.99868
CPU usage (%): 102.773
Max. virtual memory (cumulated for all children) (KiB): 13992048
Max. memory (cumulated for all children) (KiB): 585632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.11
system time used= 2.99867
maximum resident set size= 584252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86536
involuntary context switches= 5039
# summary of solver processes directly reported to runsolver:
# pid: 404,406
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.11
# total CPU system time (s): 2.99868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4649 second user time and 22.781 second system time
The end