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 (15300 MiB free)
memory of node 1: 16384 MiB (15170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283806-1503188334/watcher-4283806-1503188334 -o /tmp/evaluation-result-4283806-1503188334/solver-4283806-1503188334 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 415113675 HOME/instance-4283806-1503188334.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1342, runsolver pid=1339
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.73 1.62 1.60 3/203 1350
/proc/meminfo: memFree=31195632/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13574484 memory=16412 CPUtime=0.02 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 3945 0 0 0 2 0 0 0 20 0 9 0 17243166 13900271616 4103 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3393621 4103 2065 1 0 3383118 0
[pid=1344/tid=1345] ppid=1342 vsize=13574484 memory=-6871798056524144002 CPUtime=0.02 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 2725 0 0 0 2 0 0 0 20 0 9 0 17243166 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728849999304 139728829838686 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 17243167 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13574484 memory=140369871517312 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 17243167 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 17243167 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 17243167 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13574484 memory=140369871517312 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 17243168 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 17243169 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 17243169 13900271616 4168 18446744073709551615 4194304 4196468 140731084211776 139728322122672 139728845768405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17792 KiB
[startup+0.21086 s]*
/proc/loadavg: 1.73 1.62 1.60 4/211 1358
/proc/meminfo: memFree=31186208/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13974352 memory=28428 CPUtime=0.13 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 5572 0 0 0 12 1 0 0 20 0 15 0 17243166 14309736448 7107 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3493588 7107 2868 1 0 3482964 0
[pid=1344/tid=1345] ppid=1342 vsize=13974352 memory=-6871798056524144002 CPUtime=0.09 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 3513 0 0 0 9 0 0 0 20 0 15 0 17243166 14309736448 7173 18446744073709551615 4194304 4196468 140731084211776 139728849991472 139728845770134 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14309736448 7173 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13974352 memory=140369871517312 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243167 14309736448 7173 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14309736448 7173 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14309736448 7173 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13974352 memory=140369871517312 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243168 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17243169 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17243169 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728322122608 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1353] ppid=1342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1353/stat : 1353 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728321070928 139728845776795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1354] ppid=1342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1354/stat : 1354 (java) R 1342 1342 16431 0 -1 4202560 426 0 0 0 0 0 0 0 20 0 15 0 17243171 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728320019312 139728845770134 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1355] ppid=1342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1355/stat : 1355 (java) R 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728318966512 139728845769346 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1356] ppid=1342 vsize=13974352 memory=140369871517312 CPUtime=0.02 cores=0,2,4,6
/proc/1344/task/1356/stat : 1356 (java) R 1342 1342 16431 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 17243171 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728317913712 139728845770134 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1357] ppid=1342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1357/stat : 1357 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728316861152 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1358] ppid=1342 vsize=13974352 memory=140369871517312 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1358/stat : 1358 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243175 14309736448 7239 18446744073709551615 4194304 4196468 140731084211776 139728315808432 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29808 KiB
[startup+0.310391 s]*
/proc/loadavg: 1.73 1.62 1.60 4/211 1358
/proc/meminfo: memFree=31173224/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13978608 memory=40296 CPUtime=0.33 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 9281 0 0 0 30 3 0 0 20 0 15 0 17243166 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3494652 10074 3027 1 0 3482964 0
[pid=1344/tid=1345] ppid=1342 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 6404 0 0 0 18 2 0 0 20 0 15 0 17243166 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728849979192 139728829838686 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243167 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13978608 memory=2272 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13978608 memory=140374166484607 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243168 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13978608 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17243169 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13978608 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17243169 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728322122608 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1353] ppid=1342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1353/stat : 1353 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728321070928 139728845776795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1354] ppid=1342 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1344/task/1354/stat : 1354 (java) S 1342 1342 16431 0 -1 1077944384 620 0 0 0 2 0 0 0 20 0 15 0 17243171 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728320019312 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1355] ppid=1342 vsize=13978608 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1344/task/1355/stat : 1355 (java) S 1342 1342 16431 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 17243171 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728318966512 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1356] ppid=1342 vsize=13978608 memory=140369871517312 CPUtime=0.07 cores=0,2,4,6
/proc/1344/task/1356/stat : 1356 (java) S 1342 1342 16431 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 17243171 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728317913712 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1357] ppid=1342 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1357/stat : 1357 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728316861152 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1358] ppid=1342 vsize=13978608 memory=140369871517312 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1358/stat : 1358 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243175 14314094592 10074 18446744073709551615 4194304 4196468 140731084211776 139728315808432 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41676 KiB
[startup+0.700743 s]
/proc/loadavg: 1.73 1.62 1.60 4/211 1358
/proc/meminfo: memFree=31160672/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13980732 memory=65820 CPUtime=1.26 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 13016 0 0 0 121 5 0 0 20 0 15 0 17243166 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3495183 16455 3176 1 0 3483476 0
[pid=1344/tid=1345] ppid=1342 vsize=13980732 memory=188746 CPUtime=0.57 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 8547 0 0 0 54 3 0 0 20 0 15 0 17243166 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728849996560 139728845770134 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13980732 memory=7378398472041489984 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13980732 memory=7813023418146120529 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13980732 memory=5865188000529146989 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13980732 memory=5450916479948256810 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13980732 memory=-8033973737701895300 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17243168 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13980732 memory=1399094042734925955 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13980732 memory=7016671349533276567 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728322122608 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1353] ppid=1342 vsize=13980732 memory=-9178176116494409632 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1353/stat : 1353 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728321070928 139728845776795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1354] ppid=1342 vsize=13980732 memory=-7606742959547834223 CPUtime=0.17 cores=0,2,4,6
/proc/1344/task/1354/stat : 1354 (java) S 1342 1342 16431 0 -1 1077944384 1016 0 0 0 17 0 0 0 20 0 15 0 17243171 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728320019312 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1355] ppid=1342 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/1344/task/1355/stat : 1355 (java) S 1342 1342 16431 0 -1 1077944384 696 0 0 0 17 0 0 0 20 0 15 0 17243171 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728318966512 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1356] ppid=1342 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/1344/task/1356/stat : 1356 (java) R 1342 1342 16431 0 -1 4202560 1448 0 0 0 32 0 0 0 20 0 15 0 17243171 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728317910080 139728825472980 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1357] ppid=1342 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1357/stat : 1357 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728316861152 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1358] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1358/stat : 1358 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243175 14316269568 16455 18446744073709551615 4194304 4196468 140731084211776 139728315808432 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67200 KiB
[startup+1.50077 s]
/proc/loadavg: 1.73 1.62 1.60 5/211 1358
/proc/meminfo: memFree=31136916/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13980732 memory=102764 CPUtime=3.8 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 23293 0 0 0 373 7 0 0 20 0 15 0 17243166 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3495183 25691 3201 1 0 3483476 0
[pid=1344/tid=1345] ppid=1342 vsize=13980732 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 9345 0 0 0 133 4 0 0 20 0 15 0 17243166 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728849993280 139728460750090 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13980732 memory=6369885832658118245 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13980732 memory=7524512692647838048 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13980732 memory=7378400744215112545 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13980732 memory=4639074098508484694 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13980732 memory=7521405438146406247 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 17243168 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13980732 memory=7451600739390351441 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13980732 memory=6008739263708500906 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728322122608 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1353] ppid=1342 vsize=13980732 memory=280739464136368 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1353/stat : 1353 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728321070928 139728845776795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1354] ppid=1342 vsize=13980732 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/1344/task/1354/stat : 1354 (java) R 1342 1342 16431 0 -1 4202560 4838 0 0 0 95 1 0 0 20 0 15 0 17243171 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728320006160 139728830145248 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1355] ppid=1342 vsize=13980732 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/1344/task/1355/stat : 1355 (java) R 1342 1342 16431 0 -1 4202560 5199 0 0 0 94 1 0 0 20 0 15 0 17243171 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728318952392 139728845779546 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1356] ppid=1342 vsize=13980732 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/1344/task/1356/stat : 1356 (java) S 1342 1342 16431 0 -1 1077944384 2572 0 0 0 49 0 0 0 20 0 15 0 17243171 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728317913712 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1357] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1357/stat : 1357 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728316861152 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1358] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1358/stat : 1358 (java) S 1342 1342 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17243175 14316269568 25691 18446744073709551615 4194304 4196468 140731084211776 139728315808432 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 3.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 104144 KiB
[startup+1.95696 s]
# the end of solver process 1342 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.93916 s, system=0.083759 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60096 s]
/proc/loadavg: 1.73 1.62 1.60 5/211 1358
/proc/meminfo: memFree=31136916/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13980732 memory=107024 CPUtime=4.1 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 23381 0 0 0 403 7 0 0 20 0 15 0 17243166 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3495183 26756 3201 1 0 3483476 0
[pid=1344/tid=1345] ppid=1342 vsize=13980732 memory=7810487918915055718 CPUtime=1.47 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 9368 0 0 0 143 4 0 0 20 0 15 0 17243166 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728849995024 139728460750104 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13980732 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13980732 memory=6083633460812933734 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 17243168 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13980732 memory=7899477154621912595 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13980732 memory=7896624936699266875 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728322122608 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1353] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1353/stat : 1353 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728321070928 139728845776795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1354] ppid=1342 vsize=13980732 memory=6944652177228980320 CPUtime=1.06 cores=0,2,4,6
/proc/1344/task/1354/stat : 1354 (java) R 1342 1342 16431 0 -1 4202560 4879 0 0 0 105 1 0 0 20 0 15 0 17243171 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728320010768 139728823780821 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1355] ppid=1342 vsize=13980732 memory=7019257425709197167 CPUtime=1.05 cores=0,2,4,6
/proc/1344/task/1355/stat : 1355 (java) R 1342 1342 16431 0 -1 4202560 5221 0 0 0 104 1 0 0 20 0 15 0 17243171 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728318959536 139728827302800 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1356] ppid=1342 vsize=13980732 memory=6081933452408022377 CPUtime=0.49 cores=0,2,4,6
/proc/1344/task/1356/stat : 1356 (java) S 1342 1342 16431 0 -1 1077944384 2574 0 0 0 49 0 0 0 20 0 15 0 17243171 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728317913712 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1357] ppid=1342 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1357/stat : 1357 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728316861152 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1358] ppid=1342 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1358/stat : 1358 (java) S 1342 1342 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17243175 14316269568 26756 18446744073709551615 4194304 4196468 140731084211776 139728315808432 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 108404 KiB
[startup+1.80076 s]
/proc/loadavg: 1.73 1.62 1.60 5/211 1358
/proc/meminfo: memFree=31136916/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13980732 memory=115552 CPUtime=4.7 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 23510 0 0 0 463 7 0 0 20 0 15 0 17243166 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3495183 28888 3201 1 0 3483476 0
[pid=1344/tid=1345] ppid=1342 vsize=13980732 memory=6008739263708500906 CPUtime=1.67 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 9382 0 0 0 163 4 0 0 20 0 15 0 17243166 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728849995104 139728461863693 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13980732 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13980732 memory=11952 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 17243168 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728322122608 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1353] ppid=1342 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1353/stat : 1353 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728321070928 139728845776795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1354] ppid=1342 vsize=13980732 memory=1228 CPUtime=1.25 cores=0,2,4,6
/proc/1344/task/1354/stat : 1354 (java) S 1342 1342 16431 0 -1 1077944384 4915 0 0 0 124 1 0 0 20 0 15 0 17243171 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728320019312 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1355] ppid=1342 vsize=13980732 memory=5368 CPUtime=1.25 cores=0,2,4,6
/proc/1344/task/1355/stat : 1355 (java) R 1342 1342 16431 0 -1 4202560 5282 0 0 0 124 1 0 0 20 0 15 0 17243171 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728318966512 139728829866298 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1356] ppid=1342 vsize=13980732 memory=4612 CPUtime=0.5 cores=0,2,4,6
/proc/1344/task/1356/stat : 1356 (java) S 1342 1342 16431 0 -1 1077944384 2592 0 0 0 50 0 0 0 20 0 15 0 17243171 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728317913712 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1357] ppid=1342 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1357/stat : 1357 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728316861152 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1358] ppid=1342 vsize=13980732 memory=10724 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1358/stat : 1358 (java) S 1342 1342 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17243175 14316269568 28888 18446744073709551615 4194304 4196468 140731084211776 139728315808432 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 116932 KiB
[startup+1.9008 s]
/proc/loadavg: 1.73 1.62 1.60 5/211 1358
/proc/meminfo: memFree=31136916/32770624 swapFree=67108860/67108860
[pid=1342] ppid=1339 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (xcsp3-exec) S 1339 1342 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17243158 9740288 345 18446744073709551615 4194304 5098028 140724253942544 140724253940648 140099967119996 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9097216 140724253946234 140724253946438 140724253946438 140724253949931 0
/proc/1342/statm: 2378 345 289 221 0 87 0
[pid=1344] ppid=1342 vsize=13980732 memory=119880 CPUtime=4.93 cores=0,2,4,6
/proc/1344/stat : 1344 (java) S 1342 1342 16431 0 -1 1077944320 23701 0 0 0 486 7 0 0 20 0 15 0 17243166 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 140731084194320 139728845758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
/proc/1344/statm: 3495183 29970 3203 1 0 3483476 0
[pid=1344/tid=1345] ppid=1342 vsize=13980732 memory=109316 CPUtime=1.77 cores=0,2,4,6
/proc/1344/task/1345/stat : 1345 (java) R 1342 1342 16431 0 -1 4202560 9430 0 0 0 173 4 0 0 20 0 15 0 17243166 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728849995512 139728460751967 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1346] ppid=1342 vsize=13980732 memory=140369732019440 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1346/stat : 1346 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728780192912 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1347] ppid=1342 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1347/stat : 1347 (java) S 1342 1342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728779140112 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1348] ppid=1342 vsize=13980732 memory=7377829019542251101 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1348/stat : 1348 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728778087312 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1349] ppid=1342 vsize=13980732 memory=280739464136368 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1349/stat : 1349 (java) S 1342 1342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17243167 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728777034512 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1350] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1350/stat : 1350 (java) S 1342 1342 16431 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 17243168 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728324229488 139728845769346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1351] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1351/stat : 1351 (java) S 1342 1342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728323175456 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1352] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1352/stat : 1352 (java) S 1342 1342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17243169 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728322122608 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1353] ppid=1342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1353/stat : 1353 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728321070928 139728845776795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1354] ppid=1342 vsize=13980732 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/1344/task/1354/stat : 1354 (java) S 1342 1342 16431 0 -1 1077944384 4938 0 0 0 129 1 0 0 20 0 15 0 17243171 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728320019312 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1355] ppid=1342 vsize=13980732 memory=7680170660397595203 CPUtime=1.32 cores=0,2,4,6
/proc/1344/task/1355/stat : 1355 (java) R 1342 1342 16431 0 -1 4202560 5386 0 0 0 131 1 0 0 20 0 15 0 17243171 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728318966512 139728825004776 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1356] ppid=1342 vsize=13980732 memory=6944652177228980320 CPUtime=0.51 cores=0,2,4,6
/proc/1344/task/1356/stat : 1356 (java) S 1342 1342 16431 0 -1 1077944384 2608 0 0 0 51 0 0 0 20 0 15 0 17243171 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728317913712 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1357] ppid=1342 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1357/stat : 1357 (java) S 1342 1342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17243171 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728316861152 139728845768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
[pid=1344/tid=1358] ppid=1342 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/1344/task/1358/stat : 1358 (java) S 1342 1342 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17243175 14316269568 29970 18446744073709551615 4194304 4196468 140731084211776 139728315808432 139728845769346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10059776 140731084214706 140731084214882 140731084214882 140731084218319 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 121260 KiB
Child status: 0
Real time (s): 1.95701
CPU time (s): 5.02292
CPU user time (s): 4.93916
CPU system time (s): 0.083759
CPU usage (%): 256.663
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 121260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.93916
system time used= 0.083759
maximum resident set size= 124376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24592
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= 2200
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 1342
# total CPU time (s): 5.02292
# total CPU user time (s): 4.93916
# total CPU system time (s): 0.083759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035772 second user time and 0.055284 second system time
The end