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 (13077 MiB free)
memory of node 1: 16384 MiB (14198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406241-1569411937/watcher-4406241-1569411937 -o /var/tmp/evaluation-result-4406241-1569411937/solver-4406241-1569411937 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569406883-8784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1537154450 HOME/instance-4406241-1569411937.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9622, runsolver pid=9619
[startup+0.101107 s]*
/proc/loadavg: 2.11 1.82 1.72 4/230 9638
/proc/meminfo: memFree=27911620/32770624 swapFree=67024136/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
[pid=9624] ppid=9622 vsize=15144776 memory=32372 CPUtime=0.13 cores=1,3,5,7
/proc/9624/stat : 9624 (java) S 9622 9622 8752 0 -1 1077944320 5929 0 0 0 12 1 0 0 20 0 15 0 517466186 15508250624 8093 33554432000 4194304 4196468 140723995571760 140723995554304 139804071964407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
/proc/9624/statm: 3786194 8093 3211 1 0 3748377 0
[pid=9624/tid=9625] ppid=9622 vsize=15144776 memory=7828285979790381915 CPUtime=0.09 cores=1,3,5,7
/proc/9624/task/9625/stat : 9625 (java) R 9622 9622 8752 0 -1 4202560 3816 0 0 0 8 1 0 0 20 0 15 0 517466186 15508250624 8093 33554432000 4194304 4196468 140723995571760 139804076187104 139804071976342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9626] ppid=9622 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9626/stat : 9626 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 8093 33554432000 4194304 4196468 140723995571760 139804008201360 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9627] ppid=9622 vsize=15144776 memory=140041974867584 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9627/stat : 9627 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 8093 33554432000 4194304 4196468 140723995571760 139804007148560 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9628] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9628/stat : 9628 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 8093 33554432000 4194304 4196468 140723995571760 139804006095760 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9629] ppid=9622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9629/stat : 9629 (java) S 9622 9622 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 8093 33554432000 4194304 4196468 140723995571760 139803660704528 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9630] ppid=9622 vsize=15144776 memory=140041974867584 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9630/stat : 9630 (java) S 9622 9622 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517466188 15508250624 8093 33554432000 4194304 4196468 140723995571760 139803607800176 139804071975554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9631] ppid=9622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9631/stat : 9631 (java) S 9622 9622 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517466189 15508250624 8093 33554432000 4194304 4196468 140723995571760 139803606746144 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9632] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517466189 15508250624 8093 33554432000 4194304 4196468 140723995571760 139803605693296 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15508250624 8093 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) R 9622 9622 8752 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 517466191 15508250624 8093 33554432000 4194304 4196468 140723995571760 139803603590096 139804071974613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15508250624 8093 33554432000 4194304 4196468 140723995571760 139803602537200 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15144776 memory=140041974867584 CPUtime=0.02 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) R 9622 9622 8752 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 517466191 15508250624 8093 33554432000 4194304 4196468 140723995571760 139802872638064 139804050948132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15508250624 8093 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15144776 memory=140041974867584 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466192 15508250624 8093 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33824 KiB
[startup+0.210815 s]*
/proc/loadavg: 2.11 1.82 1.72 5/230 9638
/proc/meminfo: memFree=27898992/32770624 swapFree=67024136/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
[pid=9624] ppid=9622 vsize=15144776 memory=42916 CPUtime=0.35 cores=1,3,5,7
/proc/9624/stat : 9624 (java) S 9622 9622 8752 0 -1 1077944320 9433 0 0 0 32 3 0 0 20 0 15 0 517466186 15508250624 10729 33554432000 4194304 4196468 140723995571760 140723995554304 139804071964407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
/proc/9624/statm: 3786194 10729 3284 1 0 3748377 0
[pid=9624/tid=9625] ppid=9622 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9624/task/9625/stat : 9625 (java) R 9622 9622 8752 0 -1 4202560 6582 0 0 0 18 2 0 0 20 0 15 0 517466186 15508250624 10729 33554432000 4194304 4196468 140723995571760 139804076203408 139804071976342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9626] ppid=9622 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9626/stat : 9626 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 10729 33554432000 4194304 4196468 140723995571760 139804008201360 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9627] ppid=9622 vsize=15144776 memory=140041978747902 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9627/stat : 9627 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 10729 33554432000 4194304 4196468 140723995571760 139804007148560 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9628] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9628/stat : 9628 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 10729 33554432000 4194304 4196468 140723995571760 139804006095760 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9629] ppid=9622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9629/stat : 9629 (java) S 9622 9622 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517466187 15508250624 10729 33554432000 4194304 4196468 140723995571760 139803660704528 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9630] ppid=9622 vsize=15144776 memory=140041974867584 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9630/stat : 9630 (java) S 9622 9622 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517466188 15508250624 10729 33554432000 4194304 4196468 140723995571760 139803607800176 139804071975554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9631] ppid=9622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9631/stat : 9631 (java) S 9622 9622 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517466189 15508250624 10729 33554432000 4194304 4196468 140723995571760 139803606746144 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9632] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517466189 15508250624 10729 33554432000 4194304 4196468 140723995571760 139803605693296 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15508250624 10729 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) S 9622 9622 8752 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 15 0 517466191 15508250624 10729 33554432000 4194304 4196468 140723995571760 139803603590000 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) S 9622 9622 8752 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 517466191 15508250624 10729 33554432000 4194304 4196468 140723995571760 139803602537200 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15144776 memory=140041974867584 CPUtime=0.08 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) S 9622 9622 8752 0 -1 1077944384 748 0 0 0 8 0 0 0 20 0 15 0 517466191 15508250624 10729 33554432000 4194304 4196468 140723995571760 139802872638064 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15508250624 10729 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466192 15508250624 10729 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44368 KiB
[startup+0.310639 s]*
/proc/loadavg: 2.11 1.82 1.72 4/230 9638
/proc/meminfo: memFree=27892080/32770624 swapFree=67024136/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
[pid=9624] ppid=9622 vsize=15149032 memory=52060 CPUtime=0.53 cores=1,3,5,7
/proc/9624/stat : 9624 (java) S 9622 9622 8752 0 -1 1077944320 10857 0 0 0 50 3 0 0 20 0 15 0 517466186 15512608768 13015 33554432000 4194304 4196468 140723995571760 140723995554304 139804071964407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
/proc/9624/statm: 3787258 13015 3338 1 0 3748377 0
[pid=9624/tid=9625] ppid=9622 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9624/task/9625/stat : 9625 (java) R 9622 9622 8752 0 -1 4202560 7795 0 0 0 27 3 0 0 20 0 15 0 517466186 15512608768 13015 33554432000 4194304 4196468 140723995571760 139804076196384 139804056044894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9626] ppid=9622 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9626/stat : 9626 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15512608768 13015 33554432000 4194304 4196468 140723995571760 139804008201360 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9627] ppid=9622 vsize=15149032 memory=3886306 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9627/stat : 9627 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15512608768 13015 33554432000 4194304 4196468 140723995571760 139804007148560 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9628] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9628/stat : 9628 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15512608768 13015 33554432000 4194304 4196468 140723995571760 139804006095760 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9629] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9629/stat : 9629 (java) S 9622 9622 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517466187 15512608768 13015 33554432000 4194304 4196468 140723995571760 139803660704528 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9630] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9630/stat : 9630 (java) S 9622 9622 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517466188 15512608768 13015 33554432000 4194304 4196468 140723995571760 139803607800176 139804071975554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9631] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9631/stat : 9631 (java) S 9622 9622 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517466189 15512608768 13015 33554432000 4194304 4196468 140723995571760 139803606746144 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9632] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517466189 15512608768 13015 33554432000 4194304 4196468 140723995571760 139803605693296 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15512608768 13015 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) S 9622 9622 8752 0 -1 1077944384 662 0 0 0 5 0 0 0 20 0 15 0 517466191 15512608768 13015 33554432000 4194304 4196468 140723995571760 139803603590000 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) S 9622 9622 8752 0 -1 1077944384 259 0 0 0 4 0 0 0 20 0 15 0 517466191 15512608768 13015 33554432000 4194304 4196468 140723995571760 139803602537200 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) S 9622 9622 8752 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 15 0 517466191 15512608768 13015 33554432000 4194304 4196468 140723995571760 139802872638064 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15512608768 13015 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466192 15512608768 13015 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53512 KiB
[startup+0.700854 s]
/proc/loadavg: 2.11 1.82 1.72 6/230 9638
/proc/meminfo: memFree=27878496/32770624 swapFree=67024136/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
[pid=9624] ppid=9622 vsize=15151156 memory=74916 CPUtime=1.59 cores=1,3,5,7
/proc/9624/stat : 9624 (java) S 9622 9622 8752 0 -1 1077944320 15457 0 0 0 154 5 0 0 20 0 15 0 517466186 15514783744 18729 33554432000 4194304 4196468 140723995571760 140723995554304 139804071964407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
/proc/9624/statm: 3787789 18729 3450 1 0 3748889 0
[pid=9624/tid=9625] ppid=9622 vsize=15151156 memory=12328 CPUtime=0.68 cores=1,3,5,7
/proc/9624/task/9625/stat : 9625 (java) R 9622 9622 8752 0 -1 4202560 9015 0 0 0 64 4 0 0 20 0 15 0 517466186 15514783744 18729 33554432000 4194304 4196468 140723995571760 139804076200256 139804071976342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9626] ppid=9622 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9626/stat : 9626 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15514783744 18729 33554432000 4194304 4196468 140723995571760 139804008201360 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9627] ppid=9622 vsize=15151156 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9627/stat : 9627 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15514783744 18729 33554432000 4194304 4196468 140723995571760 139804007148560 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9628] ppid=9622 vsize=15151156 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9628/stat : 9628 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466187 15514783744 18729 33554432000 4194304 4196468 140723995571760 139804006095760 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9629] ppid=9622 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9629/stat : 9629 (java) S 9622 9622 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517466187 15514783744 18729 33554432000 4194304 4196468 140723995571760 139803660704528 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9630] ppid=9622 vsize=15151156 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9630/stat : 9630 (java) S 9622 9622 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517466188 15514783744 18729 33554432000 4194304 4196468 140723995571760 139803607800176 139804071975554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9631] ppid=9622 vsize=15151156 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9631/stat : 9631 (java) S 9622 9622 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 18729 33554432000 4194304 4196468 140723995571760 139803606746144 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9632] ppid=9622 vsize=15151156 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 18729 33554432000 4194304 4196468 140723995571760 139803605693296 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15151156 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15514783744 18729 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15151156 memory=836 CPUtime=0.32 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) R 9622 9622 8752 0 -1 4202560 2152 0 0 0 32 0 0 0 20 0 15 0 517466191 15514783744 18729 33554432000 4194304 4196468 140723995571760 139803603576024 139804049559840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15151156 memory=1760 CPUtime=0.31 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) R 9622 9622 8752 0 -1 4202560 1464 0 0 0 31 0 0 0 20 0 15 0 517466191 15514783744 18729 33554432000 4194304 4196468 140723995571760 139803602517672 139804056253429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15151156 memory=111632 CPUtime=0.26 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) S 9622 9622 8752 0 -1 1077944384 1518 0 0 0 25 1 0 0 20 0 15 0 517466191 15514783744 18729 33554432000 4194304 4196468 140723995571760 139802872638064 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15514783744 18729 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517466192 15514783744 18729 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76368 KiB
[startup+1.50087 s]
/proc/loadavg: 2.11 1.82 1.72 5/230 9638
/proc/meminfo: memFree=27864608/32770624 swapFree=67024136/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 1832367 33554432000 4194304 4196468 140723995571760 139803605693312 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15151156 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15514783744 1832367 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15151156 memory=54232 CPUtime=1.54 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) S 9622 9622 8752 0 -1 1077944384 10542 0 0 0 153 1 0 0 20 0 15 0 517466191 15514783744 1832367 33554432000 4194304 4196468 140723995571760 139803603590000 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.53 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) S 9622 9622 8752 0 -1 1077944384 10497 0 0 0 152 1 0 0 20 0 15 0 517466191 15514783744 1832367 33554432000 4194304 4196468 140723995571760 139803602537200 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15151156 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) S 9622 9622 8752 0 -1 1077944384 7046 0 0 0 38 2 0 0 20 0 15 0 517466191 15514783744 1832367 33554432000 4194304 4196468 140723995571760 139802872638064 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15151156 memory=153 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15514783744 1832367 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15151156 memory=40 CPUtime=0.53 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1341 0 0 0 25 28 0 0 20 0 15 0 517466192 15514783744 1832367 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 2400.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 7330920 KiB
[startup+2442.3 s]
/proc/loadavg: 1.93 1.82 1.78 3/230 9888
/proc/meminfo: memFree=19308800/32770624 swapFree=67024140/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
[pid=9624] ppid=9622 vsize=15151156 memory=7329508 CPUtime=2461.94 cores=1,3,5,7
/proc/9624/stat : 9624 (java) S 9622 9622 8752 0 -1 1077944320 179120 0 0 0 245836 358 0 0 20 0 15 0 517466186 15514783744 1832377 33554432000 4194304 4196468 140723995571760 140723995554304 139804071964407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
/proc/9624/statm: 3787789 1832377 3518 1 0 3748889 0
[pid=9624/tid=9625] ppid=9622 vsize=15151156 memory=7329496 CPUtime=2435.09 cores=1,3,5,7
/proc/9624/task/9625/stat : 9625 (java) R 9622 9622 8752 0 -1 4202560 99589 0 0 0 243223 286 0 0 20 0 15 0 517466186 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139804076204096 139803689466498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9626] ppid=9622 vsize=15151156 memory=7329476 CPUtime=5.41 cores=1,3,5,7
/proc/9624/task/9626/stat : 9626 (java) S 9622 9622 8752 0 -1 1077944384 9372 0 0 0 532 9 0 0 20 0 15 0 517466187 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139804008201360 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9627] ppid=9622 vsize=15151156 memory=7329496 CPUtime=5.39 cores=1,3,5,7
/proc/9624/task/9627/stat : 9627 (java) S 9622 9622 8752 0 -1 1077944384 8939 0 0 0 530 9 0 0 20 0 15 0 517466187 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139804007148560 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9628] ppid=9622 vsize=15151156 memory=7329496 CPUtime=5.42 cores=1,3,5,7
/proc/9624/task/9628/stat : 9628 (java) S 9622 9622 8752 0 -1 1077944384 9018 0 0 0 534 8 0 0 20 0 15 0 517466187 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139804006095760 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9629] ppid=9622 vsize=15151156 memory=7329496 CPUtime=5.41 cores=1,3,5,7
/proc/9624/task/9629/stat : 9629 (java) S 9622 9622 8752 0 -1 1077944384 9585 0 0 0 533 8 0 0 20 0 15 0 517466187 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139803660704528 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9630] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.13 cores=1,3,5,7
/proc/9624/task/9630/stat : 9630 (java) S 9622 9622 8752 0 -1 1077944384 11771 0 0 0 100 13 0 0 20 0 15 0 517466188 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139803607800176 139804071975554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9631] ppid=9622 vsize=15151156 memory=7329472 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9631/stat : 9631 (java) S 9622 9622 8752 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139803606746208 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9632] ppid=9622 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139803605693312 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15151156 memory=7329496 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.54 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) S 9622 9622 8752 0 -1 1077944384 10544 0 0 0 153 1 0 0 20 0 15 0 517466191 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139803603590000 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.53 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) S 9622 9622 8752 0 -1 1077944384 10499 0 0 0 152 1 0 0 20 0 15 0 517466191 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139803602537200 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15151156 memory=14064 CPUtime=0.4 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) S 9622 9622 8752 0 -1 1077944384 7048 0 0 0 38 2 0 0 20 0 15 0 517466191 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139802872638064 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15151156 memory=7329496 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15151156 memory=1452 CPUtime=0.55 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1347 0 0 0 26 29 0 0 20 0 15 0 517466192 15514783744 1832377 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 2461.94 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 7330960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.5 s]
/proc/loadavg: 1.94 1.84 1.78 3/229 9892
/proc/meminfo: memFree=19165088/32770624 swapFree=67024140/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
[pid=9624] ppid=9622 vsize=15151156 memory=7329532 CPUtime=2520.08 cores=1,3,5,7
/proc/9624/stat : 9624 (java) S 9622 9622 8752 0 -1 1077944320 187786 0 0 0 251648 360 0 0 20 0 15 0 517466186 15514783744 1832383 33554432000 4194304 4196468 140723995571760 140723995554304 139804071964407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
/proc/9624/statm: 3787789 1832383 3518 1 0 3748889 0
[pid=9624/tid=9625] ppid=9622 vsize=15151156 memory=7329532 CPUtime=2491.95 cores=1,3,5,7
/proc/9624/task/9625/stat : 9625 (java) R 9622 9622 8752 0 -1 4202560 102853 0 0 0 248909 286 0 0 20 0 15 0 517466186 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804076203984 139803690002450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9626] ppid=9622 vsize=15151156 memory=7329532 CPUtime=5.72 cores=1,3,5,7
/proc/9624/task/9626/stat : 9626 (java) S 9622 9622 8752 0 -1 1077944384 10192 0 0 0 563 9 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804008201360 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9627] ppid=9622 vsize=15151156 memory=7329532 CPUtime=5.7 cores=1,3,5,7
/proc/9624/task/9627/stat : 9627 (java) S 9622 9622 8752 0 -1 1077944384 10739 0 0 0 561 9 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804007148560 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9628] ppid=9622 vsize=15151156 memory=7329532 CPUtime=5.73 cores=1,3,5,7
/proc/9624/task/9628/stat : 9628 (java) S 9622 9622 8752 0 -1 1077944384 10067 0 0 0 565 8 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804006095760 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9629] ppid=9622 vsize=15151156 memory=1452 CPUtime=5.71 cores=1,3,5,7
/proc/9624/task/9629/stat : 9629 (java) S 9622 9622 8752 0 -1 1077944384 11150 0 0 0 563 8 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803660704528 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9630] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/9624/task/9630/stat : 9630 (java) S 9622 9622 8752 0 -1 1077944384 11917 0 0 0 101 13 0 0 20 0 15 0 517466188 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803607800176 139804071975554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9631] ppid=9622 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9631/stat : 9631 (java) S 9622 9622 8752 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803606746208 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9632] ppid=9622 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803605693312 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.54 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) S 9622 9622 8752 0 -1 1077944384 10546 0 0 0 153 1 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803603590000 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.53 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) S 9622 9622 8752 0 -1 1077944384 10501 0 0 0 152 1 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803602537200 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15151156 memory=3648 CPUtime=0.4 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) S 9622 9622 8752 0 -1 1077944384 7050 0 0 0 38 2 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139802872638064 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15151156 memory=7329532 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15151156 memory=3648 CPUtime=0.57 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1364 0 0 0 27 30 0 0 20 0 15 0 517466192 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 7330984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.51 s]
# the end of solver process 9622 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001087 s, system=0.001548 s
[startup+2499.54 s]
# the end of solver process 9624 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.49 s, system=3.63494 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+2499.5 s]
/proc/loadavg: 1.94 1.84 1.78 3/229 9892
/proc/meminfo: memFree=19165088/32770624 swapFree=67024140/67108860
[pid=9622] ppid=9619 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (xcsp3-exec) S 9619 9622 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517466186 115843072 363 33554432000 4194304 5098028 140726794595536 140726794593640 139872178676348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23134208 140726794601302 140726794601561 140726794601561 140726794604486 0
/proc/9622/statm: 28282 363 304 221 0 87 0
[pid=9624] ppid=9622 vsize=15151156 memory=7329532 CPUtime=2520.08 cores=1,3,5,7
/proc/9624/stat : 9624 (java) S 9622 9622 8752 0 -1 1077944320 187786 0 0 0 251648 360 0 0 20 0 15 0 517466186 15514783744 1832383 33554432000 4194304 4196468 140723995571760 140723995554304 139804071964407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
/proc/9624/statm: 3787789 1832383 3518 1 0 3748889 0
[pid=9624/tid=9625] ppid=9622 vsize=15151156 memory=7329532 CPUtime=2491.95 cores=1,3,5,7
/proc/9624/task/9625/stat : 9625 (java) R 9622 9622 8752 0 -1 4202560 102853 0 0 0 248909 286 0 0 20 0 15 0 517466186 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804076203984 139803690002450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9626] ppid=9622 vsize=15151156 memory=7329532 CPUtime=5.72 cores=1,3,5,7
/proc/9624/task/9626/stat : 9626 (java) S 9622 9622 8752 0 -1 1077944384 10192 0 0 0 563 9 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804008201360 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9627] ppid=9622 vsize=15151156 memory=7329532 CPUtime=5.7 cores=1,3,5,7
/proc/9624/task/9627/stat : 9627 (java) S 9622 9622 8752 0 -1 1077944384 10739 0 0 0 561 9 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804007148560 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9628] ppid=9622 vsize=15151156 memory=7329532 CPUtime=5.73 cores=1,3,5,7
/proc/9624/task/9628/stat : 9628 (java) S 9622 9622 8752 0 -1 1077944384 10067 0 0 0 565 8 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139804006095760 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9629] ppid=9622 vsize=15151156 memory=1452 CPUtime=5.71 cores=1,3,5,7
/proc/9624/task/9629/stat : 9629 (java) S 9622 9622 8752 0 -1 1077944384 11150 0 0 0 563 8 0 0 20 0 15 0 517466187 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803660704528 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9630] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/9624/task/9630/stat : 9630 (java) S 9622 9622 8752 0 -1 1077944384 11917 0 0 0 101 13 0 0 20 0 15 0 517466188 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803607800176 139804071975554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9631] ppid=9622 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9631/stat : 9631 (java) S 9622 9622 8752 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803606746208 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9632] ppid=9622 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9632/stat : 9632 (java) S 9622 9622 8752 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517466189 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803605693312 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9633] ppid=9622 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9633/stat : 9633 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803604641616 139804071983003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9634] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.54 cores=1,3,5,7
/proc/9624/task/9634/stat : 9634 (java) S 9622 9622 8752 0 -1 1077944384 10546 0 0 0 153 1 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803603590000 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9635] ppid=9622 vsize=15151156 memory=1452 CPUtime=1.53 cores=1,3,5,7
/proc/9624/task/9635/stat : 9635 (java) S 9622 9622 8752 0 -1 1077944384 10501 0 0 0 152 1 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139803602537200 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9636] ppid=9622 vsize=15151156 memory=3648 CPUtime=0.4 cores=1,3,5,7
/proc/9624/task/9636/stat : 9636 (java) S 9622 9622 8752 0 -1 1077944384 7050 0 0 0 38 2 0 0 20 0 15 0 517466191 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139802872638064 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9637] ppid=9622 vsize=15151156 memory=7329532 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9637/stat : 9637 (java) S 9622 9622 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517466192 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139802871585504 139804071974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
[pid=9624/tid=9638] ppid=9622 vsize=15151156 memory=3648 CPUtime=0.57 cores=1,3,5,7
/proc/9624/task/9638/stat : 9638 (java) S 9622 9622 8752 0 -1 1077944384 1364 0 0 0 27 30 0 0 20 0 15 0 517466192 15514783744 1832383 33554432000 4194304 4196468 140723995571760 139802870532784 139804071975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140723995579355 140723995579530 140723995579530 140723995582415 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 7330984 KiB
Child status: 143
Real time (s): 2499.54
CPU time (s): 2520.13
CPU user time (s): 2516.49
CPU system time (s): 3.63494
CPU usage (%): 100.824
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 7330984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.49
system time used= 3.63494
maximum resident set size= 7329864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81284
involuntary context switches= 2710
# summary of solver processes directly reported to runsolver:
# pid: 9622,9624
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.49
# total CPU system time (s): 3.63494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0763 second user time and 21.2726 second system time
The end