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 (15221 MiB free)
memory of node 1: 16384 MiB (15688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282158-1503132476/watcher-4282158-1503132476 -o /tmp/evaluation-result-4282158-1503132476/solver-4282158-1503132476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1564654741 HOME/instance-4282158-1503132476.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=25027, runsolver pid=25024
[startup+0.100207 s]*
/proc/loadavg: 1.85 1.81 1.89 3/206 25037
/proc/meminfo: memFree=31639608/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13840740 memory=21088 CPUtime=0.04 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 4658 0 0 0 4 0 0 0 20 0 13 0 11656781 14172917760 5272 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3460185 5272 2321 1 0 3449682 0
[pid=25029/tid=25030] ppid=25027 vsize=13840740 memory=-8713483618642983004 CPUtime=0.04 cores=1,3,5,7
/proc/25029/task/25030/stat : 25030 (java) R 25027 25027 17292 0 -1 4202560 3098 0 0 0 4 0 0 0 20 0 13 0 11656781 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140055270992432 140055248148026 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25031] ppid=25027 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11656782 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13840740 memory=140414710396544 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11656782 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 11656782 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11656782 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13840740 memory=140414710396544 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 11656783 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 11656784 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 11656784 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 11656786 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) R 25027 25027 17292 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 13 0 11656786 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140054178513992 140055252792783 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 11656786 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140054177474624 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13840740 memory=140414710396544 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) S 25027 25027 17292 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 13 0 11656786 14172917760 5338 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 22464 KiB
[startup+0.210171 s]*
/proc/loadavg: 1.85 1.81 1.89 4/212 25043
/proc/meminfo: memFree=31633748/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13974352 memory=27720 CPUtime=0.1 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 5346 0 0 0 9 1 0 0 20 0 15 0 11656781 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3493588 6930 2755 1 0 3482964 0
[pid=25029/tid=25030] ppid=25027 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/25029/task/25030/stat : 25030 (java) R 25027 25027 17292 0 -1 4202560 3483 0 0 0 7 0 0 0 20 0 15 0 11656781 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140055270982528 140055250147632 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25031] ppid=25027 vsize=13974352 memory=10613 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13974352 memory=3547069479696676512 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13974352 memory=140414710396544 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656783 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11656784 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11656784 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) S 25027 25027 17292 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 11656786 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054178527472 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054177474928 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13974352 memory=140414710396544 CPUtime=0.01 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) S 25027 25027 17292 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 11656786 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25042] ppid=25027 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25042/stat : 25042 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054175369568 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25043] ppid=25027 vsize=13974352 memory=140414710396544 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25043/stat : 25043 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656794 14309736448 6930 18446744073709551615 4194304 4196468 140724152720544 140054174317616 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29096 KiB
[startup+0.310272 s]*
/proc/loadavg: 1.85 1.81 1.89 4/212 25043
/proc/meminfo: memFree=31622940/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13974352 memory=39676 CPUtime=0.29 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 8998 0 0 0 27 2 0 0 20 0 15 0 11656781 14309736448 9919 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3493588 9919 2991 1 0 3482964 0
[pid=25029/tid=25030] ppid=25027 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/25029/task/25030/stat : 25030 (java) R 25027 25027 17292 0 -1 4202560 6142 0 0 0 16 2 0 0 20 0 15 0 11656781 14309736448 9919 18446744073709551615 4194304 4196468 140724152720544 140055270985104 140055259432309 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25031] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 9919 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 9919 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 9919 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14309736448 9919 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656783 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11656784 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11656784 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) R 25027 25027 17292 0 -1 4202560 532 0 0 0 2 0 0 0 20 0 15 0 11656786 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054178527472 140055259043744 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) S 25027 25027 17292 0 -1 1077944384 301 0 0 0 2 0 0 0 20 0 15 0 11656786 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054177474928 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) R 25027 25027 17292 0 -1 4202560 727 0 0 0 6 0 0 0 20 0 15 0 11656786 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055244886904 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25042] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25042/stat : 25042 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054175369568 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25043] ppid=25027 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25043/stat : 25043 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656794 14309736448 9985 18446744073709551615 4194304 4196468 140724152720544 140054174317616 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41052 KiB
[startup+0.708532 s]
/proc/loadavg: 1.85 1.81 1.89 5/212 25043
/proc/meminfo: memFree=31606208/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13980732 memory=78280 CPUtime=1.4 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 14593 0 0 0 135 5 0 0 20 0 15 0 11656781 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3495183 19570 3177 1 0 3483476 0
[pid=25029/tid=25030] ppid=25027 vsize=13980732 memory=1156 CPUtime=0.56 cores=1,3,5,7
/proc/25029/task/25030/stat : 25030 (java) R 25027 25027 17292 0 -1 1077944384 8457 0 0 0 53 3 0 0 20 0 15 0 11656781 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140055270992272 140055266764501 0 4 1 16800974 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25031] ppid=25027 vsize=13980732 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13980732 memory=154708 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13980732 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13980732 memory=2364 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11656783 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13980732 memory=7445121360266224978 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13980732 memory=280829121206160 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13980732 memory=288285597502801155 CPUtime=0.22 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) R 25027 25027 17292 0 -1 4202560 1212 0 0 0 22 0 0 0 20 0 15 0 11656786 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054178518448 140055250731590 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13980732 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) R 25027 25027 17292 0 -1 4202560 1588 0 0 0 27 0 0 0 20 0 15 0 11656786 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054177461472 140055248275155 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13980732 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) R 25027 25027 17292 0 -1 1077944384 2027 0 0 0 33 0 0 0 20 0 15 0 11656786 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055266765442 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25042] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25042/stat : 25042 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054175369568 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25043] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25043/stat : 25043 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656794 14316269568 19570 18446744073709551615 4194304 4196468 140724152720544 140054174317616 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 79656 KiB
[startup+1.50085 s]
/proc/loadavg: 2.02 1.85 1.90 5/212 25043
/proc/meminfo: memFree=31556828/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13980732 memory=116096 CPUtime=4 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 25320 0 0 0 393 7 0 0 20 0 15 0 11656781 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3495183 29024 3198 1 0 3483476 0
[pid=25029/tid=25030] ppid=25027 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
################
# More data... #
################
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13980732 memory=-6786428918777463953 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13980732 memory=-6585810021020737321 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13980732 memory=-4546129931942301828 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11656783 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13980732 memory=-4546129931942301828 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13980732 memory=-3472574944341025154 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13980732 memory=2008 CPUtime=1.01 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) R 25027 25027 17292 0 -1 4202560 5478 0 0 0 100 1 0 0 20 0 15 0 11656786 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054178516272 140055246600227 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13980732 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) R 25027 25027 17292 0 -1 4202560 4722 0 0 0 105 0 0 0 20 0 15 0 11656786 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054177466880 140055251144176 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13980732 memory=280829121061920 CPUtime=0.54 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) S 25027 25027 17292 0 -1 1077944384 4144 0 0 0 54 0 0 0 20 0 15 0 11656786 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25042] ppid=25027 vsize=13980732 memory=140414560533216 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25042/stat : 25042 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054175369568 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25043] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25043/stat : 25043 (java) S 25027 25027 17292 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 11656794 14316269568 29024 18446744073709551615 4194304 4196468 140724152720544 140054174317616 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 117472 KiB
[startup+2.85811 s]
# the end of solver process 25027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.61666 s, system=0.094103 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.601 s]
/proc/loadavg: 2.02 1.85 1.90 5/212 25043
/proc/meminfo: memFree=31556828/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13980732 memory=116260 CPUtime=4.3 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 25428 0 0 0 423 7 0 0 20 0 15 0 11656781 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3495183 29065 3200 1 0 3483476 0
[pid=25029/tid=25030] ppid=25027 vsize=13980732 memory=280829121003760 CPUtime=1.45 cores=1,3,5,7
/proc/25029/task/25030/stat : 25030 (java) R 25027 25027 17292 0 -1 4202560 9612 0 0 0 141 4 0 0 20 0 15 0 11656781 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140055270992992 140054879122208 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25031] ppid=25027 vsize=13980732 memory=14181982013714 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13980732 memory=8940607980112075893 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13980732 memory=7970979421431230632 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13980732 memory=7451038901848991081 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13980732 memory=6082488869023541093 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11656783 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13980732 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13980732 memory=5936979512484390484 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13980732 memory=10 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13980732 memory=280829121332112 CPUtime=1.11 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) R 25027 25027 17292 0 -1 4202560 5540 0 0 0 110 1 0 0 20 0 15 0 11656786 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054178514256 140055244501736 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13980732 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) R 25027 25027 17292 0 -1 4202560 4753 0 0 0 115 0 0 0 20 0 15 0 11656786 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054177464848 140055246408224 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) S 25027 25027 17292 0 -1 1077944384 4151 0 0 0 54 0 0 0 20 0 15 0 11656786 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25042] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25042/stat : 25042 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054175369568 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25043] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25043/stat : 25043 (java) S 25027 25027 17292 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 11656794 14316269568 29065 18446744073709551615 4194304 4196468 140724152720544 140054174317616 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 117636 KiB
[startup+2.40084 s]
/proc/loadavg: 2.02 1.85 1.90 3/212 25043
/proc/meminfo: memFree=31539820/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13980732 memory=122452 CPUtime=5.68 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 26672 0 0 0 561 7 0 0 20 0 15 0 11656781 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3495183 30613 3203 1 0 3483476 0
[pid=25029/tid=25030] ppid=25027 vsize=13980732 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/25029/task/25030/stat : 25030 (java) R 25027 25027 17292 0 -1 4202560 9632 0 0 0 221 4 0 0 20 0 15 0 11656781 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140055270991520 140055266766230 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25031] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13980732 memory=280829121103008 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13980732 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11656783 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13980732 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13980732 memory=-8458152414436906645 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13980732 memory=115528 CPUtime=1.45 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) R 25027 25027 17292 0 -1 4202560 6601 0 0 0 144 1 0 0 20 0 15 0 11656786 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054178516272 140055251861800 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13980732 memory=-9001728533042062950 CPUtime=1.38 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) R 25027 25027 17292 0 -1 4202560 4848 0 0 0 138 0 0 0 20 0 15 0 11656786 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054177474928 140055251676077 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13980732 memory=7893295687695687954 CPUtime=0.57 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) R 25027 25027 17292 0 -1 1077944384 4219 0 0 0 57 0 0 0 20 0 15 0 11656786 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055266765442 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25042] ppid=25027 vsize=13980732 memory=1329904169539632284 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25042/stat : 25042 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054175369568 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25043] ppid=25027 vsize=13980732 memory=-7028383565733675155 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25043/stat : 25043 (java) S 25027 25027 17292 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 11656794 14316269568 30613 18446744073709551615 4194304 4196468 140724152720544 140054174317616 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 123828 KiB
[startup+2.80086 s]
/proc/loadavg: 2.02 1.85 1.90 3/212 25043
/proc/meminfo: memFree=31539820/32770624 swapFree=67108860/67108860
[pid=25027] ppid=25024 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/25027/stat : 25027 (xcsp3-exec) S 25024 25027 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11656775 9740288 344 18446744073709551615 4194304 5098028 140725154413456 140725154411560 139871585051260 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 34217984 140725154414969 140725154415174 140725154415174 140725154418667 0
/proc/25027/statm: 2378 344 289 221 0 87 0
[pid=25029] ppid=25027 vsize=13980732 memory=124868 CPUtime=6.6 cores=1,3,5,7
/proc/25029/stat : 25029 (java) S 25027 25027 17292 0 -1 1077944320 29867 0 0 0 652 8 0 0 20 0 15 0 11656781 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140724152703088 140055266754295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
/proc/25029/statm: 3495183 31217 3206 1 0 3483476 0
[pid=25029/tid=25030] ppid=25027 vsize=13980732 memory=288285597502801155 CPUtime=2.65 cores=1,3,5,7
/proc/25029/task/25030/stat : 25030 (java) R 25027 25027 17292 0 -1 4202560 9633 0 0 0 261 4 0 0 20 0 15 0 11656781 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140055270990880 140054877293916 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25031] ppid=25027 vsize=13980732 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25031/stat : 25031 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140055201188368 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25032] ppid=25027 vsize=13980732 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25032/stat : 25032 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140055200135824 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25033] ppid=25027 vsize=13980732 memory=636 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25033/stat : 25033 (java) S 25027 25027 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140055199082768 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25034] ppid=25027 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25034/stat : 25034 (java) S 25027 25027 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11656782 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140055198030224 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25035] ppid=25027 vsize=13980732 memory=952 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25035/stat : 25035 (java) S 25027 25027 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11656783 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054182738672 140055266765442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25036] ppid=25027 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25036/stat : 25036 (java) S 25027 25027 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054181684896 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25037] ppid=25027 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25037/stat : 25037 (java) S 25027 25027 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11656784 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054180631792 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25038] ppid=25027 vsize=13980732 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25038/stat : 25038 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054179580368 140055266772891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25039] ppid=25027 vsize=13980732 memory=928 CPUtime=1.64 cores=1,3,5,7
/proc/25029/task/25039/stat : 25039 (java) R 25027 25027 17292 0 -1 4202560 7201 0 0 0 163 1 0 0 20 0 15 0 11656786 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054178527472 140055251880073 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25040] ppid=25027 vsize=13980732 memory=1584 CPUtime=1.7 cores=1,3,5,7
/proc/25029/task/25040/stat : 25040 (java) R 25027 25027 17292 0 -1 4202560 7447 0 0 0 169 1 0 0 20 0 15 0 11656786 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054177463520 140055245131010 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25041] ppid=25027 vsize=13980732 memory=2164 CPUtime=0.57 cores=1,3,5,7
/proc/25029/task/25041/stat : 25041 (java) S 25027 25027 17292 0 -1 1077944384 4219 0 0 0 57 0 0 0 20 0 15 0 11656786 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054176421872 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25042] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25042/stat : 25042 (java) S 25027 25027 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11656786 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054175369568 140055266764501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
[pid=25029/tid=25043] ppid=25027 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25029/task/25043/stat : 25043 (java) S 25027 25027 17292 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 11656794 14316269568 31217 18446744073709551615 4194304 4196468 140724152720544 140054174317616 140055266765442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12505088 140724152721842 140724152722018 140724152722018 140724152725455 0
Current children cumulated CPU time: 6.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 126244 KiB
Child status: 0
Real time (s): 2.85815
CPU time (s): 6.71077
CPU user time (s): 6.61666
CPU system time (s): 0.094103
CPU usage (%): 234.794
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 126244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.61666
system time used= 0.094103
maximum resident set size= 129604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1995
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 25027
# total CPU time (s): 6.71077
# total CPU user time (s): 6.61666
# total CPU system time (s): 0.094103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039365 second user time and 0.068022 second system time
The end